edu.neu.ccs.demeterf.inline
Class GenParTrav.GenParInline
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.GenParTrav.GenParInline
- Enclosing class:
- GenParTrav
public static class GenParTrav.GenParInline
- extends GenTrav.GenInline
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GenParTrav.GenParInline
public GenParTrav.GenParInline(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
extraDefs
public java.lang.String extraDefs()
- Overrides:
extraDefs
in class GenTrav.GenInline
extraAbstrArgs
public java.lang.String extraAbstrArgs()
- Overrides:
extraAbstrArgs
in class GenTrav.GenInline
extraConcrArgs
public java.lang.String extraConcrArgs()
- Overrides:
extraConcrArgs
in class GenTrav.GenInline
fieldMeth
public java.lang.String fieldMeth(TypeUse tu,
java.lang.String f)
- Overrides:
fieldMeth
in class GenTrav.GenInline