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

Field Summary

Fields inherited from class edu.neu.ccs.demeterf.FC

augMethodName, buildMethodName

Constructor Summary

GenHeapTrav.GenHeapInline(java.lang.String f, Option<TypeUse> ta, List<EnvEntry> ch, SubTyping s)

Method Summary

java.lang.String	abstrTrav(TypeUse tu, ident n, TypeDefParams dp, List<TypeUse> un)
java.lang.String	travMethod(TypeUse start)

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

Constructor Detail

GenHeapTrav.GenHeapInline

public GenHeapTrav.GenHeapInline(java.lang.String f,
                                 Option<TypeUse> ta,
                                 List<EnvEntry> ch,
                                 SubTyping s)

Method Detail

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