eu.bandm.tools.umod

Class UMod2visitors.V_makeRewriterCoRewriter

java.lang.Object

eu.bandm.tools.umod.UMod.Visitor

eu.bandm.tools.umod.UMod2visitors.Lr_decoder

eu.bandm.tools.umod.UMod2visitors.V_makeRewriterCoRewriter

Enclosing class:

UMod2visitors

protected class UMod2visitors.V_makeRewriterCoRewriter
extends UMod2visitors.Lr_decoder

Is created and called for toplevel classes, and then created anew for all sub-classes!

Field Summary

Fields

Modifier and Type	Field and Description
protected UMod.FieldDef	curfield
protected GeneratedMethod	dorwmeth
protected boolean	iscorewriter
protected int	keynum
protected Format	model
protected boolean	multiSupport
protected Format	result
protected UMod.ClassDef	superclass
protected boolean	userResponsible
protected GeneratedClass	visitor

Fields inherited from class eu.bandm.tools.umod.UMod2visitors.Lr_decoder

leftSelected, lrcode, lrposition, modelnum, rightSelected

Constructor Summary

Constructors

Constructor and Description
V_makeRewriterCoRewriter(int k, GeneratedClass v, UMod.ClassDef s, boolean iscorew, boolean ms)

Method Summary

Modifier and Type	Method and Description
protected void	action(UMod.ClassDef cd)
protected void	action(UMod.FieldDef fd)
protected void	action(UMod.T_copair t)
protected void	action(UMod.T_map t)
protected void	action(UMod.T_opt t)
protected void	action(UMod.T_pair t) Potential optimizations: a) multiple not supported -> abfrage kann raus, single case only! b) any side is empty -> return empty
protected void	action(UMod.T_power t)
protected void	action(UMod.T_reference t)
protected void	action(UMod.T_rel t)
protected void	action(UMod.T_seq t)
protected void	action(UMod.TypeBasic t)
protected Format	convertOneSide_REW(boolean cast)
protected void	put_suppress_addAll_warning_annotation(GeneratedMethod meth)
protected void	visitMap_or_Multimap(UMod.T_2 t, boolean ismultimap) Diagram of semantics: M = original, L/R = maps representing rewriting, M' = result
protected void	visitSetList(UMod.TypeConstructed t, boolean isseq)
protected Format	wrapOptimizingCut(Format code)

Methods inherited from class eu.bandm.tools.umod.UMod2visitors.Lr_decoder

updateSelection

Methods inherited from class eu.bandm.tools.umod.UMod.Visitor

action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, getResult, match

Methods inherited from class java.lang.Object

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

Field Detail

visitor

protected GeneratedClass visitor

iscorewriter

protected boolean iscorewriter

multiSupport

protected boolean multiSupport

keynum

protected int keynum

dorwmeth

protected GeneratedMethod dorwmeth

superclass

protected UMod.ClassDef superclass

curfield

protected UMod.FieldDef curfield

model

protected Format model

result

protected Format result

userResponsible

protected boolean userResponsible

Constructor Detail

V_makeRewriterCoRewriter

public V_makeRewriterCoRewriter(int k,
                                GeneratedClass v,
                                UMod.ClassDef s,
                                boolean iscorew,
                                boolean ms)

Method Detail

action

protected void action(UMod.ClassDef cd)

Overrides:

action in class UMod.Visitor

wrapOptimizingCut

protected Format wrapOptimizingCut(Format code)

action

protected void action(UMod.FieldDef fd)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.T_reference t)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.TypeBasic t)

Overrides:

action in class UMod.Visitor

put_suppress_addAll_warning_annotation

protected void put_suppress_addAll_warning_annotation(GeneratedMethod meth)

visitSetList

protected void visitSetList(UMod.TypeConstructed t,
                            boolean isseq)

action

protected void action(UMod.T_seq t)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.T_power t)

Overrides:

action in class UMod.Visitor

convertOneSide_REW

protected Format convertOneSide_REW(boolean cast)

visitMap_or_Multimap

protected void visitMap_or_Multimap(UMod.T_2 t,
                                    boolean ismultimap)

Diagram of semantics:
M = original, L/R = maps representing rewriting, M' = result

                   M
            ------------------>
           |                   |
         L |                   | R
           V                   V
            ------------------>
                   M'
    
       M' := Linv o M o R 

       potential optimizations:
       a)
       if L or M or R is empty  ==> return empty M' immediately
       b)
       if M is map (not multimap) and rewriter does not support "substitute_multi()"
       then 1) L and R can be simple maps (not multi-maps!)
       and  2) only "injectiveness" of L needs to be tested, 
               to ensure M' being a map!
       

action

protected void action(UMod.T_map t)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.T_rel t)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.T_opt t)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.T_copair t)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.T_pair t)

Potential optimizations:
a) multiple not supported -> abfrage kann raus, single case only!
b) any side is empty -> return empty

Overrides:

action in class UMod.Visitor