@Override public boolean equivalent(final SharedObject obj) { if (obj instanceof AFun) { final AFun peer = (AFun) obj; return peer.getName().equals(_name) && peer.getArity() == _arity && peer.isQuoted() == _isQuoted; } return false; }
@Override public boolean equivalent(final SharedObject obj) { if (obj instanceof AFun) { final AFun peer = (AFun) obj; return peer.getName().equals(getName()) && peer.getArity() == getArity() && peer.isQuoted() == isQuoted(); } return false; }
protected boolean match(final ATerm pattern, final List<Object> list) { if (pattern.getType() == PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("term") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(this); return true; } } } return false; }
private static boolean isListPlaceHolder(final ATerm pattern) { if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("list") && afun.getArity() == 0 && !afun.isQuoted()) return true; } } return false; }
@Override protected boolean match(final ATerm pattern, final List<Object> list) { if (equals(pattern)) return true; if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("real") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(new Double(_value)); return true; } } } return super.match(pattern, list); }
@Override protected boolean match(final ATerm pattern, final List<Object> list) { if (equals(pattern)) return true; if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("int") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(new Integer(_value)); return true; } } } return super.match(pattern, list); }
@Override protected boolean match(final ATerm pattern, final List<Object> list) { if (equals(pattern)) return true; if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("long") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(new Long(_value)); return true; } } } return super.match(pattern, list); }
@Override public boolean match(final ATerm pattern, final List<Object> list) { if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm t = ((ATermPlaceholder) pattern).getPlaceholder(); if (t.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) t; final AFun afun = appl.getAFun(); if (afun.getName().equals("placeholder") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(t); return true; } } } return super.match(pattern, list); }
@Override protected boolean match(final ATerm pattern, final List<Object> list) { if (equals(pattern)) return true; if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("blob") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(_data); return true; } } } return super.match(pattern, list); }
visitTerm(OWL_NOTHING); else if (af.getArity() == 0) visitTerm(term); else
final int arity = fun.getArity();
visitTerm(OWL_NOTHING); else if (af.getArity() == 0) visitTerm(term); else
final int arity = e.arity = fun.getArity();
assertTrue(af.getArity() == 1); final ATermAppl arg = (ATermAppl) term.getArgument(0); af = arg.getAFun();
assertTrue(af.getArity() == 1); final ATermAppl arg = (ATermAppl) term.getArgument(0); af = arg.getAFun();
final AFun afun = (AFun) term; return makeAFun(afun.getName(), afun.getArity(), afun.isQuoted()); default: throw new OpenError("Unknown term type id: " + term.getType());