StackValueRecord
} else if (record instanceof StackValueRecord) {
printStack((StackValueRecord)record);
printStack(StackValueRecord rec)
if (tupleRecord instanceof StackValueRecord) {
printStack((StackValueRecord)tupleRecord);
public final class KernelStackRecord implements StackValueRecord,
StackValueRecord stack = StackValueRecord.class.cast(rec);
public final class UserStackRecord implements StackValueRecord,