@SuppressWarnings("unchecked") public <K, V> TermPair<K, V> createPair(K key, V value) { return (TermPair<K, V>) (new TermPairImpl<K, V>()).setKey(key) .setValue(value); }
public String apply(Object term) { if (term instanceof TermInteger) { TermInteger integer = (TermInteger)term; return "" + integer.getIntValue(); } else if (term instanceof TermPair) { TermPair pair = (TermPair)term; Term.Operator op = pair.getOperator(); return (op != null ? op.value() : "") + pair.getKey() + " " + pair.getValue(); } else if (term instanceof TermFunction) return "" + term; else if (term instanceof TermList) { TermList list = (TermList)term; return join(list, " ", serializeTerm); } else return "" + term; } };
public String apply(Object term) { if (term instanceof TermInteger) { TermInteger integer = (TermInteger)term; return "" + integer.getIntValue(); } else if (term instanceof TermList && !(term instanceof TermFunction)) { TermList list = (TermList)term; String s = ""; for (Term<?> t : list) { if (!s.isEmpty()) { Term.Operator o = t.getOperator(); if (o != null) switch (o) { case COMMA: s += ","; } s += " "; } s += serializeTerm.apply(t); } return s; } else if (term instanceof TermPair) { TermPair<?,?> pair = (TermPair<?,?>)term; Object val = pair.getValue(); return "" + pair.getKey() + " " + (val instanceof Term ? serializeTerm.apply((Term)val) : val.toString()); } else if (term instanceof TermString) { TermString string = (TermString)term; return "'" + string.getValue().replaceAll("\n", "\\\\A") + "'"; } else return term.toString().replaceAll("^[,/ ]+", ""); } };
public String apply(Term term) { if (term instanceof TermInteger) { TermInteger integer = (TermInteger)term; return "" + integer.getIntValue(); } else if (term instanceof TermList && !(term instanceof TermFunction)) { TermList list = (TermList)term; String s = ""; for (Term<?> t : list) { if (!s.isEmpty()) { Term.Operator o = t.getOperator(); if (o != null) switch (o) { case COMMA: s += ","; } s += " "; } s += termToString.apply(t); } return s; } else if (term instanceof TermPair) { TermPair<?,?> pair = (TermPair<?,?>)term; Object val = pair.getValue(); return "" + pair.getKey() + " " + (val instanceof Term ? termToString.apply((Term)val) : val.toString()); } else if (term instanceof TermString) { TermString string = (TermString)term; return "'" + string.getValue().replaceAll("\n", "\\\\A") + "'"; } else return term.toString().replaceAll("^[,/ ]+", ""); } };
@SuppressWarnings("unchecked") public <K, V> TermPair<K, V> createPair(K key, V value) { return (TermPair<K, V>) (new TermPairImpl<K, V>()).setKey(key) .setValue(value); }
@SuppressWarnings("unchecked") public <K, V> TermPair<K, V> createPair(K key, V value) { return (TermPair<K, V>) (new TermPairImpl<K, V>()).setKey(key) .setValue(value); }
@SuppressWarnings("unchecked") public <K, V> TermPair<K, V> createPair(K key, V value) { return (TermPair<K, V>) (new TermPairImpl<K, V>()).setKey(key) .setValue(value); }