Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

eu.bandm.sig.absy
Class Rewriter

java.lang.Object
  extended by eu.bandm.sig.absy.MATCH_ONLY_00
      extended by eu.bandm.sig.absy.Rewriter
All Implemented Interfaces:
Rewriter
public class Rewriter
extends MATCH_ONLY_00
implements Rewriter

Field Summary
protected  HashMap<Object,Object> cache
           
protected  HashSet<Object> mcache
           
protected  Object original
           
 
Fields inherited from class eu.bandm.sig.absy.MATCH_ONLY_00
_visitor_debug_stream, partial
 
Constructor Summary
Rewriter()
           
Rewriter(Rewriter parent)
           
 
Method Summary
protected  void action(Absy e0)
           
protected  void action(AggregateExpression e0)
           
protected  void action(AggregateOperation e0)
           
protected  void action(AggregatePattern e0)
           
protected  void action(BinaryConstraint e0)
           
protected  void action(BinaryPattern e0)
           
protected  void action(BinaryRule e0)
           
protected  void action(BinaryTest e0)
           
protected  void action(CAxiom e0)
           
protected  void action(CCall e0)
           
protected  void action(CDeclare e0)
           
protected  void action(CDisjoint e0)
           
protected  void action(CEquation e0)
           
protected  void action(CFalse e0)
           
protected  void action(CIntersect e0)
           
protected  void action(Constant e0)
           
protected  void action(Constraint e0)
           
protected  void action(COverlay e0)
           
protected  void action(CTrue e0)
           
protected  void action(EApply e0)
           
protected  void action(EBox e0)
           
protected  void action(ECast e0)
           
protected  void action(ECotuple e0)
           
protected  void action(EFun e0)
           
protected  void action(ELet e0)
           
protected  void action(ENum e0)
           
protected  void action(ESelect e0)
           
protected  void action(ETuple e0)
           
protected  void action(EVar e0)
           
protected  void action(Expression e0)
           
protected  void action(Face e0)
           
protected  void action(FamilyType e0)
           
protected  void action(Label e0)
           
protected  void action(LIndex e0)
           
protected  void action(LName e0)
           
protected  void action(NCall e0)
           
protected  void action(NDisjoint e0)
           
protected  void action(Net e0)
           
protected  void action(NFail e0)
           
protected  void action(NList e0)
           
protected  void action(NOverlay e0)
           
protected  void action(OApply e0)
           
protected  void action(OBox e0)
           
protected  void action(OCast e0)
           
protected  void action(OCoselect e0)
           
protected  void action(OCotuple e0)
           
protected  void action(OId e0)
           
protected  void action(Operation e0)
           
protected  void action(OSelect e0)
           
protected  void action(OTuple e0)
           
protected  void action(Pattern e0)
           
protected  void action(PCast e0)
           
protected  void action(PCotuple e0)
           
protected  void action(PDisjoint e0)
           
protected  void action(PIntersect e0)
           
protected  void action(POverlay e0)
           
protected  void action(PTuple e0)
           
protected  void action(PVar e0)
           
protected  void action(RDisjoint e0)
           
protected  void action(REquation e0)
           
protected  void action(RFail e0)
           
protected  void action(RIntersect e0)
           
protected  void action(ROverlay e0)
           
protected  void action(RSucceed e0)
           
protected  void action(Rule e0)
           
protected  void action(TAnd e0)
           
protected  void action(TArrow e0)
           
protected  void action(TCoproduct e0)
           
protected  void action(TCotuple e0)
           
protected  void action(Test e0)
           
protected  void action(TFalse e0)
           
protected  void action(TOr e0)
           
protected  void action(TPrimitive e0)
           
protected  void action(TProduct e0)
           
protected  void action(TTrue e0)
           
protected  void action(TVar e0)
           
protected  void action(Type e0)
           
protected  void action(VAnonymous e0)
           
protected  void action(Variable e0)
           
protected  void action(VNamed e0)
           
protected
<T extends Absy>
T
breakLoop(T e0)
           
 Object getResult()
           
 boolean isMulti()
           
protected  boolean lookUp(Object x)
           
protected  void putToCache()
           
 void revert()
           
<T> T
rewrite_typed(T obj)
           
 Object rewrite(Object obj)
           
protected  void rewriteFields(Absy clone)
           
protected  void rewriteFields(AggregateExpression clone)
           
protected  void rewriteFields(AggregateOperation clone)
           
protected  void rewriteFields(AggregatePattern clone)
           
protected  void rewriteFields(BinaryConstraint clone)
           
protected  void rewriteFields(BinaryPattern clone)
           
protected  void rewriteFields(BinaryRule clone)
           
protected  void rewriteFields(BinaryTest clone)
           
protected  void rewriteFields(CAxiom clone)
           
protected  void rewriteFields(CCall clone)
           
protected  void rewriteFields(CDeclare clone)
           
protected  void rewriteFields(CDisjoint clone)
           
protected  void rewriteFields(CEquation clone)
           
protected  void rewriteFields(CFalse clone)
           
protected  void rewriteFields(CIntersect clone)
           
protected  void rewriteFields(Constant clone)
           
protected  void rewriteFields(Constraint clone)
           
protected  void rewriteFields(COverlay clone)
           
protected  void rewriteFields(CTrue clone)
           
protected  void rewriteFields(EApply clone)
           
protected  void rewriteFields(EBox clone)
           
protected  void rewriteFields(ECast clone)
           
protected  void rewriteFields(ECotuple clone)
           
protected  void rewriteFields(EFun clone)
           
protected  void rewriteFields(ELet clone)
           
protected  void rewriteFields(ENum clone)
           
protected  void rewriteFields(ESelect clone)
           
protected  void rewriteFields(ETuple clone)
           
protected  void rewriteFields(EVar clone)
           
protected  void rewriteFields(Expression clone)
           
protected  void rewriteFields(Face clone)
           
protected  void rewriteFields(FamilyType clone)
           
protected  void rewriteFields(Label clone)
           
protected  void rewriteFields(LIndex clone)
           
protected  void rewriteFields(LName clone)
           
protected  void rewriteFields(NCall clone)
           
protected  void rewriteFields(NDisjoint clone)
           
protected  void rewriteFields(Net clone)
           
protected  void rewriteFields(NFail clone)
           
protected  void rewriteFields(NList clone)
           
protected  void rewriteFields(NOverlay clone)
           
protected  void rewriteFields(OApply clone)
           
protected  void rewriteFields(OBox clone)
           
protected  void rewriteFields(OCast clone)
           
protected  void rewriteFields(OCoselect clone)
           
protected  void rewriteFields(OCotuple clone)
           
protected  void rewriteFields(OId clone)
           
protected  void rewriteFields(Operation clone)
           
protected  void rewriteFields(OSelect clone)
           
protected  void rewriteFields(OTuple clone)
           
protected  void rewriteFields(Pattern clone)
           
protected  void rewriteFields(PCast clone)
           
protected  void rewriteFields(PCotuple clone)
           
protected  void rewriteFields(PDisjoint clone)
           
protected  void rewriteFields(PIntersect clone)
           
protected  void rewriteFields(POverlay clone)
           
protected  void rewriteFields(PTuple clone)
           
protected  void rewriteFields(PVar clone)
           
protected  void rewriteFields(RDisjoint clone)
           
protected  void rewriteFields(REquation clone)
           
protected  void rewriteFields(RFail clone)
           
protected  void rewriteFields(RIntersect clone)
           
protected  void rewriteFields(ROverlay clone)
           
protected  void rewriteFields(RSucceed clone)
           
protected  void rewriteFields(Rule clone)
           
protected  void rewriteFields(TAnd clone)
           
protected  void rewriteFields(TArrow clone)
           
protected  void rewriteFields(TCoproduct clone)
           
protected  void rewriteFields(TCotuple clone)
           
protected  void rewriteFields(Test clone)
           
protected  void rewriteFields(TFalse clone)
           
protected  void rewriteFields(TOr clone)
           
protected  void rewriteFields(TPrimitive clone)
           
protected  void rewriteFields(TProduct clone)
           
protected  void rewriteFields(TTrue clone)
           
protected  void rewriteFields(TVar clone)
           
protected  void rewriteFields(Type clone)
           
protected  void rewriteFields(VAnonymous clone)
           
protected  void rewriteFields(Variable clone)
           
protected  void rewriteFields(VNamed clone)
           
 void substitute_empty()
           
 void substitute(Object p)
           
protected  void useCache(boolean x)
           
 
Methods inherited from class eu.bandm.sig.absy.MATCH_ONLY_00
action, action, action, foreignObject, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, nomatch
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

mcache

protected HashSet<Object> mcache

original

protected Object original

cache

protected HashMap<Object,Object> cache
Constructor Detail

Rewriter

public Rewriter()

Rewriter

public Rewriter(Rewriter parent)
Method Detail

useCache

protected void useCache(boolean x)

lookUp

protected boolean lookUp(Object x)

putToCache

protected void putToCache()

isMulti

public boolean isMulti()

revert

public void revert()

substitute

public void substitute(Object p)

substitute_empty

public void substitute_empty()

breakLoop

protected <T extends Absy> T breakLoop(T e0)

getResult

public Object getResult()

rewrite

public Object rewrite(Object obj)
Specified by:
rewrite in interface Rewriter

rewrite_typed

public <T> T rewrite_typed(T obj)
Specified by:
rewrite_typed in interface Rewriter

action

protected void action(Absy e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Absy clone)

action

protected void action(Label e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Label clone)

action

protected void action(LIndex e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(LIndex clone)

action

protected void action(LName e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(LName clone)

action

protected void action(Variable e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Variable clone)

action

protected void action(VNamed e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(VNamed clone)

action

protected void action(VAnonymous e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(VAnonymous clone)

action

protected void action(Operation e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Operation clone)

action

protected void action(AggregateOperation e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(AggregateOperation clone)

action

protected void action(OTuple e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OTuple clone)

action

protected void action(OSelect e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OSelect clone)

action

protected void action(OCotuple e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OCotuple clone)

action

protected void action(OCoselect e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OCoselect clone)

action

protected void action(OApply e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OApply clone)

action

protected void action(OId e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OId clone)

action

protected void action(OCast e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OCast clone)

action

protected void action(OBox e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(OBox clone)

action

protected void action(Face e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Face clone)

action

protected void action(Net e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Net clone)

action

protected void action(NFail e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(NFail clone)

action

protected void action(NList e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(NList clone)

action

protected void action(NDisjoint e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(NDisjoint clone)

action

protected void action(NOverlay e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(NOverlay clone)

action

protected void action(NCall e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(NCall clone)

action

protected void action(Test e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Test clone)

action

protected void action(TCotuple e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TCotuple clone)

action

protected void action(BinaryTest e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(BinaryTest clone)

action

protected void action(TAnd e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TAnd clone)

action

protected void action(TOr e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TOr clone)

action

protected void action(TTrue e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TTrue clone)

action

protected void action(TFalse e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TFalse clone)

action

protected void action(Constraint e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Constraint clone)

action

protected void action(BinaryConstraint e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(BinaryConstraint clone)

action

protected void action(CIntersect e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CIntersect clone)

action

protected void action(CDisjoint e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CDisjoint clone)

action

protected void action(COverlay e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(COverlay clone)

action

protected void action(CTrue e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CTrue clone)

action

protected void action(CFalse e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CFalse clone)

action

protected void action(CEquation e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CEquation clone)

action

protected void action(CAxiom e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CAxiom clone)

action

protected void action(CDeclare e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CDeclare clone)

action

protected void action(CCall e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(CCall clone)

action

protected void action(Pattern e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Pattern clone)

action

protected void action(PVar e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(PVar clone)

action

protected void action(BinaryPattern e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(BinaryPattern clone)

action

protected void action(PIntersect e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(PIntersect clone)

action

protected void action(PDisjoint e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(PDisjoint clone)

action

protected void action(POverlay e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(POverlay clone)

action

protected void action(AggregatePattern e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(AggregatePattern clone)

action

protected void action(PTuple e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(PTuple clone)

action

protected void action(PCotuple e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(PCotuple clone)

action

protected void action(PCast e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(PCast clone)

action

protected void action(Expression e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Expression clone)

action

protected void action(EVar e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(EVar clone)

action

protected void action(ENum e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(ENum clone)

action

protected void action(EApply e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(EApply clone)

action

protected void action(EFun e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(EFun clone)

action

protected void action(AggregateExpression e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(AggregateExpression clone)

action

protected void action(ETuple e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(ETuple clone)

action

protected void action(ECotuple e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(ECotuple clone)

action

protected void action(ESelect e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(ESelect clone)

action

protected void action(EBox e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(EBox clone)

action

protected void action(ECast e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(ECast clone)

action

protected void action(ELet e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(ELet clone)

action

protected void action(Rule e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Rule clone)

action

protected void action(BinaryRule e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(BinaryRule clone)

action

protected void action(RIntersect e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(RIntersect clone)

action

protected void action(RDisjoint e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(RDisjoint clone)

action

protected void action(ROverlay e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(ROverlay clone)

action

protected void action(RFail e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(RFail clone)

action

protected void action(RSucceed e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(RSucceed clone)

action

protected void action(REquation e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(REquation clone)

action

protected void action(Type e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Type clone)

action

protected void action(TPrimitive e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TPrimitive clone)

action

protected void action(FamilyType e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(FamilyType clone)

action

protected void action(TProduct e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TProduct clone)

action

protected void action(TCoproduct e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TCoproduct clone)

action

protected void action(TArrow e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TArrow clone)

action

protected void action(TVar e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(TVar clone)

action

protected void action(Constant e0)
Overrides:
action in class MATCH_ONLY_00

rewriteFields

protected void rewriteFields(Constant clone)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD