Class Fields.any

  extended by edu.neu.ccs.demeterf.control.Fields.any
Direct Known Subclasses:
AddToken.str,, BehDef.body,, BehDefCons.first,, BehFile.behs, BehFile.incl, ChLbl.v, ChRE.val, ClassBound.bound, ClassDef.ext, ClassDef.fields, ClassDef.gen,, ClassDef.params, ClassDef.subtypes, ConcatRE.res, Cons.first,, Constr.from, Constr.res, DefParams.types, DemFGenMain.imports, DemFGenMain.incl, DemFGenMain.look, DemFGenMain.pkg, DemFGenMain.types, DummyTrav.dfgl, DummyTrav.flds, DummyTrav.otdl, DummyTrav.tdl, Entry.key, Entry.val, EnvEntry.choices, EnvEntry.ret, EnvEntry.type,, Field.type, FieldCons.first,, FinalState.s, FinalState.tok, FunctionClass.meths,,,, GrpRang.e, GrpRang.s,, HTTPHead.url, HTTPHead.ver, HTTPReq.body, HTTPReq.head, HTTPReq.keys, HTTPResp.body, HTTPResp.keys, HTTPResp.label, HTTPResp.resp, HTTPResp.ver, HTTPVer.ver,,, Import.pkg, ImportCons.first,, Include.file, Include.gen, IncludeCons.first,, IntfcDef.gen,, IntfcDef.params, IntfcDef.subtypes, IntfImpl.intf, LexMain.ds, LexMain.lits, LexMain.pkg,,,, LookAhead.n, Mach.rsts, Mach.sts, Mach.trans, Map.tree, Meth.args,, Meth.ret,,, MsgHead.key, MsgHead.value, MTrans.c, MTrans.state, NameCons.first,, NameDef.bnd,, NChLbl.v, NChRE.v, NENameList.first,,,, NESubtypeList.first,, NETypeUseList.first,,, NewUpdate.node.left, NewUpdate.node.right, NFA.fin, NFA.start, NFA.trans,,, NumQuant.value, OneStep.node.d, OneStep.node.l, OneStep.node.r, OrRE.res, Package.pkg,,,, RBNode.color,, RBNode.left, RBNode.right, RealToken.str, Set.tree, Some.just,,, StrRE.val, SubtypeCons.first,, TestC.func,,, Trans.frm, Trans.l,, TypeDefCons.first,,, TypeUse.params, TypeUseCons.first,, UseParams.types, verbatim.text, View.incl, View.views, ViewDef.children,, ViewDef.params, ViewUse.quant, ViewUse.type
Enclosing class:

public static class Fields.any
extends java.lang.Object

Base Field class that represents the pending traversal of any field.

During traversal, Function Classes implement update methods that motify traversal arguments. The second parameter to these methods should be a subclass of Fields.any that represents the field about to be traversed.

We use the encoding that a class C with field F should contain an inner public static class with the same name as the field name:
   // Class definition for C                                                                        
   public class C{                                                       
      // Single Field... F         
      String F;                   
      // Constructor               
      public C(String F){ this.F = F; }                      
      // Field class definition    
      public static class F extends Fields.any{}             

See NewUpdate for an example of how the field definition can be used during traversal.

Constructor Summary
Method Summary
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public Fields.any()