public class StackMarkerObj extends Argument
Argument
s. It is
used in the 'expand' methods to keep track of the number of levels of recursion that have
already been expanded.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
stdSMType |
Constructor and Description |
---|
StackMarkerObj()
Standard constructor.
|
StackMarkerObj(java.util.ArrayList<java.lang.Object> kinTerms,
java.util.ArrayList<java.lang.Object> recursLvls)
Constructor with marker information provided.
|
public static final java.lang.String stdSMType
public StackMarkerObj()
public StackMarkerObj(java.util.ArrayList<java.lang.Object> kinTerms, java.util.ArrayList<java.lang.Object> recursLvls)
kinTerms
- an ArrayListrecursLvls
- a matching ArrayListpublic Argument copy()
public java.lang.Object bindingVal()
bindingVal
in class Argument
public java.lang.String toString()
toString
in class java.lang.Object