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

Field Summary

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

augMethodName, buildMethodName

Constructor Summary

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

Method Summary

java.lang.String	extraAbstrArgs()
java.lang.String	extraConcrArgs()
java.lang.String	extraDefs()
java.lang.String	fieldMeth(TypeUse tu, java.lang.String f)
java.lang.String	travMethod(TypeUse start)

Methods inherited from class edu.neu.ccs.demeterf.inline.GenTrav.GenInline

abstrTrav, abstrTrav, concrete, 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

GenParTrav.GenParInline

public GenParTrav.GenParInline(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

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