/** * Creates a stack frame of the specified size. * * @param size The size of the stack frame to create. */ public VariableBindingStackFrame(int size) { bindings = new Variable[size]; for (int i = 0; i < size; i++) { bindings[i] = new Variable(-1, null, true); } }
/** * Creates a variable. If the variable name begins with an underscore "_", it will be anonymous, otherwise it will * be named. * * @param name The name of the variable. * * @return A variable. */ public Variable var(String name) { boolean isAnonymous = name.startsWith("_"); int internedName = interner.internVariableName(name); return new Variable(internedName, null, isAnonymous); }
/** * Creates a variable. If the variable name begins with an underscore "_", it will be anonymous, otherwise it will * be named. * * @param name The name of the variable. * * @return A variable. */ public Variable var(String name) { boolean isAnonymous = name.startsWith("_"); int internedName = interner.internVariableName(name); return new Variable(internedName, null, isAnonymous); }
var = new Variable(nameId, null, name.image.equals("_")); variableContext.put(nameId, var);
var = new Variable(nameId, null, name.image.equals("_")); variableContext.put(nameId, var);
Term term = decodeHeap(addr, varContext); results.add(new Variable(varName, term, false));
var = new Variable(varNameId.decrementAndGet(), null, false);