@Override public void voidVisitPlaceholder(final ATermPlaceholder ph) { stream.write('<'); position++; voidVisitChild(ph.getPlaceholder()); stream.write('>'); position++; }
@Override public boolean equivalent(final SharedObject obj) { if (obj instanceof ATermPlaceholder) { final ATermPlaceholder peer = (ATermPlaceholder) obj; if (peer.getType() != getType()) return false; return peer.getPlaceholder() == _type; } 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; }
@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); }
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("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); }
final ATerm ph_type = ((ATermPlaceholder) pattern_arg).getPlaceholder(); if (ph_type.getType() == APPL)
final ATerm ph_type = ((ATermPlaceholder) l.getFirst()).getPlaceholder(); if (ph_type.getType() == APPL)
final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == APPL)
final ATermPlaceholder placeHolder = (ATermPlaceholder) term; result = makePlaceholder(importTerm(placeHolder.getPlaceholder())); break; case ATerm.AFUN: