edu.neu.ccs.demeterf.inline
Class GenHeapTrav.GenHeapInline
java.lang.Object
edu.neu.ccs.demeterf.FC
edu.neu.ccs.demeterf.ID
edu.neu.ccs.demeterf.inline.GenTrav.GenInline
edu.neu.ccs.demeterf.inline.GenHeapTrav.GenHeapInline
- Enclosing class:
- GenHeapTrav
public static class GenHeapTrav.GenHeapInline
- extends GenTrav.GenInline
Methods inherited from class edu.neu.ccs.demeterf.inline.GenTrav.GenInline |
abstrTrav, concrete, extraAbstrArgs, extraConcrArgs, extraDefs, fieldMeth, methodChoice, methodChoice, targDef, targDef, targUse, targUse, travHeader |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GenHeapTrav.GenHeapInline
public GenHeapTrav.GenHeapInline(java.lang.String f,
Option<TypeUse> ta,
List<EnvEntry> ch,
SubTyping s)
travMethod
public java.lang.String travMethod(TypeUse start)
- Overrides:
travMethod
in class GenTrav.GenInline
abstrTrav
public java.lang.String abstrTrav(TypeUse tu,
ident n,
TypeDefParams dp,
List<TypeUse> un)
throws java.lang.Exception
- Overrides:
abstrTrav
in class GenTrav.GenInline
- Throws:
java.lang.Exception