edu.neu.ccs.demeterf.inline
Class GenTrav.GenInline

java.lang.Object
  edu.neu.ccs.demeterf.FC
      edu.neu.ccs.demeterf.ID
          edu.neu.ccs.demeterf.inline.GenTrav.GenInline

Direct Known Subclasses:

GenHeapTrav.GenHeapInline, GenParTrav.GenParInline

Enclosing class:

GenTrav

public static class GenTrav.GenInline
extends ID

Field Summary

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

augMethodName, buildMethodName

Constructor Summary

GenTrav.GenInline(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	abstrTrav(TypeUse tu, ident n, TypeDefParams dp, List<TypeUse> un, java.lang.String elser)
java.lang.String	concrete(ident n, java.lang.String defn, List<Field> fs, EnvEntry entry)
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	methodChoice(List<Meth> ms, List<java.lang.String> fns, Decision.Access acc)
java.lang.String	methodChoice(List<Meth> ms, List<java.lang.String> fns, int idt, java.lang.String pre, java.lang.String post, Decision.Access acc)
java.lang.String	targDef()
java.lang.String	targDef(java.lang.String pre, java.lang.String suf)
java.lang.String	targUse()
java.lang.String	targUse(java.lang.String pre, java.lang.String suf)
java.lang.String	travHeader(ident n, TypeDefParams dp, TypeUse ret) The method signature for a traversal method
java.lang.String	travMethod(TypeUse start)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GenTrav.GenInline

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

Method Detail

travMethod

public java.lang.String travMethod(TypeUse start)

extraDefs

public java.lang.String extraDefs()

extraConcrArgs

public java.lang.String extraConcrArgs()

extraAbstrArgs

public java.lang.String extraAbstrArgs()

targDef

public java.lang.String targDef()

targDef

public java.lang.String targDef(java.lang.String pre,
                                java.lang.String suf)

targUse

public java.lang.String targUse()

targUse

public java.lang.String targUse(java.lang.String pre,
                                java.lang.String suf)

fieldMeth

public java.lang.String fieldMeth(TypeUse tu,
                                  java.lang.String f)

travHeader

public java.lang.String travHeader(ident n,
                                   TypeDefParams dp,
                                   TypeUse ret)

The method signature for a traversal method

methodChoice

public java.lang.String methodChoice(List<Meth> ms,
                                     List<java.lang.String> fns,
                                     Decision.Access acc)

methodChoice

public java.lang.String methodChoice(List<Meth> ms,
                                     List<java.lang.String> fns,
                                     int idt,
                                     java.lang.String pre,
                                     java.lang.String post,
                                     Decision.Access acc)

concrete

public java.lang.String concrete(ident n,
                                 java.lang.String defn,
                                 List<Field> fs,
                                 EnvEntry entry)

abstrTrav

public java.lang.String abstrTrav(TypeUse tu,
                                  ident n,
                                  TypeDefParams dp,
                                  List<TypeUse> un)
                           throws java.lang.Exception

Throws:

java.lang.Exception

abstrTrav

public java.lang.String abstrTrav(TypeUse tu,
                                  ident n,
                                  TypeDefParams dp,
                                  List<TypeUse> un,
                                  java.lang.String elser)
                           throws java.lang.Exception

Throws:

java.lang.Exception