@Override public List<Object> match(final ATerm pattern) { final List<Object> list = new LinkedList<>(); if (match(pattern, list)) return list; return null; }
@Override public List<Object> match(final String pattern) { return match(_factory.parsePattern(pattern)); }
@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); }
return super.match(pattern, list);
return super.match(pattern, list);