return _factory.makeAppl(_factory.makeAFun(b.toString(), 0, false)); return _factory.makeAppl(_factory.makeAFun(str, 0, true)); return _factory.makeAppl(_factory.makeAFun(str, 0, false)); return _factory.makeAppl(_factory.makeAFun(str, 0, false)); args.remove(0); final ATermList newargs = (ATermList) oldargs.make(args); final AFun newfun = _factory.makeAFun(newname, newargs.getLength(), false); return _factory.makeApplList(newfun, newargs);
final AFun fun = _factory.makeAFun(new String(_tempBytes), _tempArity, _tempIsQuoted); _applSignatures.add(fun);
private AFun readSymbol() throws IOException { final String s = _reader.readString(); final int arity = _reader.readInt(); final int quoted = _reader.readInt(); if (isDebugging()) debug(s + " / " + arity + " / " + quoted); return _factory.makeAFun(s, arity, quoted != 0); }
throw new ParseError("premature EOF encountered."); if (reader.getLastChar() == ')') result = makeAppl(makeAFun(funname, 0, true)); else result = makeAppl(makeAFun(funname, list.length, true), list); result = makeAppl(makeAFun(funname, 0, true)); throw new ParseError("premature EOF encountered."); if (reader.getLastChar() == ')') result = makeAppl(makeAFun("", 0, false)); else result = makeAppl(makeAFun("", list.length, false), list); throw new ParseError("premature EOF encountered."); if (reader.getLastChar() == ')') result = makeAppl(makeAFun(funname, 0, false)); else result = makeAppl(makeAFun(funname, list.length, false), list); result = makeAppl(makeAFun(funname, 0, false));
final AFun afun = (AFun) term; return makeAFun(afun.getName(), afun.getArity(), afun.isQuoted()); default: throw new OpenError("Unknown term type id: " + term.getType());