eu.bandm.tools.umod

Class UMod2visitors

java.lang.Object

eu.bandm.tools.umod.UMod2visitors

public class UMod2visitors
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	UMod2visitors.Lr_decoder
protected static class	UMod2visitors.rewriterType
protected class	UMod2visitors.V_compileMatchCascade
protected class	UMod2visitors.V_compileSimpleActionMethods
protected class	UMod2visitors.V_makeDescend Returns in "result" a Format which represents the descending code.
protected class	UMod2visitors.V_makeRewriterCoRewriter 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 Map<String,Integer>	allFields2codeNumber_DATA
protected boolean	allrewriterwarnings
protected Set<Integer>	allVisitorNums
protected Set<Integer>	allVisitorNums_classDefs
protected Set<Integer>	allVisitorNums_visitorDefs
protected static GeneratedAnnotation	ANNOTATION_SUPPRESS_UNCHECKED
protected GeneratedClass	basematcher
protected GeneratedContext	context
static int	descend_all_branches_case
protected static String	FIELDNAME__class2reachedSccs
protected static String	FIELDNAME__class2scc
protected static String	FIELDNAME__field2sccs
protected static String	FIELDNAME_lowestGeneratedVisitorClass
protected static String	FIELDNAME_VISITOR_DEBUG_STREAM
protected static String	METHODNAME__class2reachedSccs
protected static String	METHODNAME__class2scc
protected static String	METHODNAME__field2sccs
protected static String	METHODNAME_collectFlags
protected static String	METHODNAME_COREWRITER_rewriteDone
protected static String	METHODNAME_getKey
protected static String	METHODNAME_getLowestGeneratedClass
static String	METHODNAME_MATCHFOREIGNOBJECT
static String	METHODNAME_NOMATCH
protected static String	METHODNAME_REWRITER_breakLoop
protected static String	METHODNAME_REWRITER_changed
protected static String	METHODNAME_REWRITER_GETRESULT
protected static String	METHODNAME_REWRITER_ISMULTI
protected static String	METHODNAME_REWRITER_LOOKUP
protected static String	METHODNAME_REWRITER_putToCache
protected static String	METHODNAME_REWRITER_RETURN
protected static String	METHODNAME_REWRITER_RETURN_EMPTY
protected static String	METHODNAME_REWRITER_RETURN_MULT_INTERN
protected static String	METHODNAME_REWRITER_RETURN_MULTIPLE
protected static String	METHODNAME_REWRITER_REVERT
protected static String	METHODNAME_REWRITER_REWRITE
protected static String	METHODNAME_REWRITER_REWRITETYPED
protected static String	METHODNAME_REWRITER_useCache
protected static String	METHODNAME_VISITOR_DEBUG
protected static String	METHODNAMEPREFIX_DESCEND
protected UMod.Forest	model
protected GeneratedClass	modelclass
protected static int	MODIF_FIELD
protected static int	MODIF_PACKAGEVISIBLE
protected static int	MODIF_STATICCLASS
protected static int	MODIF_VISITENTRY
protected static int	MODIF_VISITMETH
protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>>	msg
protected static String	NAME_BASEMATCHER
protected static String	VARNAME_TYPEVAR_REWRITETYPED
protected boolean	visitordebug
protected boolean	visitoroptimize

Method Summary

Modifier and Type	Method and Description
protected void	collectRegisters(GeneratedClass basevisitor) The algorithm is basically as follows: +
protected void	ERROR(Location<XMLDocumentIdentifier> loc, String txt)
protected void	make_actionprepost(UMod.ClassDef cd, GeneratedClass visitor, UMod.ClassDef superclass)
static void	make_all_abstracts(GeneratedClass visitor, int key) Iff visitor optimization is switched on, then the base visitor is derived from umod.runtime.OptimizingVisitor, and this method "makes all abstract" methods which are required by this base class.
protected void	make_breakLoop_method(UMod.Forest model, GeneratedClass visitor)
protected void	make_dumpcode(GeneratedClass visitor, UMod.ClassDef cd, int keynum)
protected void	make_prepost(GeneratedClass visitor, String methname, UMod.ClassDef cd, UMod.ClassDef superclass)
protected GeneratedClass	make_v_dumper(UMod.Forest model, GeneratedContext context, GeneratedClass basematcher, int keynum, String name)
protected GeneratedClass	make_v_multiphase(UMod.Forest model, GeneratedContext context, GeneratedClass basematcher, int keynum, String name)
protected GeneratedClass	make_v_rewritercorewriter(UMod.Forest model, GeneratedContext context, GeneratedClass basematcher, int keynum, String name, UMod2visitors.rewriterType rtype, boolean supportMultiSubst)
protected GeneratedClass	make_v_simple(UMod.Forest model, GeneratedContext context, GeneratedClass basematcher, int keynum, String name)
protected void	makeCallDescend(GeneratedClass visitor, UMod.ClassDef cd, String methodname, int keynum, boolean optimizing) Compiles the method which recursively calls "match()" on all selected fields, either directly or by calling "descend_()". The name of the generated method is "action" in the simple visitor case, or "descend" in the multiphase case.
void	makeSCCfields(GeneratedClass basevisitor, MetaType maptype, String fieldname, String methodname)
protected GeneratedClass	makeVisitorClass(GeneratedContext context, GeneratedClass basematcher, String name)
protected void	WARNING(Location<XMLDocumentIdentifier> loc, String txt)
protected void	warnNoVisit(UMod.ClassDef cd, UMod.FieldDef fd, boolean isPrim, boolean isAbstract)

Methods inherited from class java.lang.Object

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

Field Detail

FIELDNAME__class2scc

protected static final String FIELDNAME__class2scc

See Also:

Constant Field Values

FIELDNAME__field2sccs

protected static final String FIELDNAME__field2sccs

See Also:

Constant Field Values

FIELDNAME__class2reachedSccs

protected static final String FIELDNAME__class2reachedSccs

See Also:

Constant Field Values

METHODNAME__class2scc

protected static final String METHODNAME__class2scc

See Also:

Constant Field Values

METHODNAME__field2sccs

protected static final String METHODNAME__field2sccs

See Also:

Constant Field Values

METHODNAME__class2reachedSccs

protected static final String METHODNAME__class2reachedSccs

See Also:

Constant Field Values

FIELDNAME_VISITOR_DEBUG_STREAM

protected static final String FIELDNAME_VISITOR_DEBUG_STREAM

See Also:

Constant Field Values

METHODNAME_VISITOR_DEBUG

protected static final String METHODNAME_VISITOR_DEBUG

See Also:

Constant Field Values

METHODNAME_getLowestGeneratedClass

protected static final String METHODNAME_getLowestGeneratedClass

See Also:

Constant Field Values

METHODNAME_getKey

protected static final String METHODNAME_getKey

See Also:

Constant Field Values

METHODNAME_collectFlags

protected static final String METHODNAME_collectFlags

See Also:

Constant Field Values

allFields2codeNumber_DATA

protected final Map<String,Integer> allFields2codeNumber_DATA

METHODNAME_REWRITER_GETRESULT

protected static final String METHODNAME_REWRITER_GETRESULT

See Also:

Constant Field Values

METHODNAME_REWRITER_ISMULTI

protected static final String METHODNAME_REWRITER_ISMULTI

See Also:

Constant Field Values

METHODNAME_REWRITER_REVERT

protected static final String METHODNAME_REWRITER_REVERT

See Also:

Constant Field Values

METHODNAME_REWRITER_changed

protected static final String METHODNAME_REWRITER_changed

See Also:

Constant Field Values

METHODNAME_REWRITER_useCache

protected static final String METHODNAME_REWRITER_useCache

See Also:

Constant Field Values

METHODNAME_REWRITER_breakLoop

protected static final String METHODNAME_REWRITER_breakLoop

See Also:

Constant Field Values

METHODNAME_REWRITER_RETURN_EMPTY

protected static final String METHODNAME_REWRITER_RETURN_EMPTY

See Also:

Constant Field Values

METHODNAME_REWRITER_RETURN

protected static final String METHODNAME_REWRITER_RETURN

See Also:

Constant Field Values

METHODNAME_REWRITER_RETURN_MULTIPLE

protected static final String METHODNAME_REWRITER_RETURN_MULTIPLE

See Also:

Constant Field Values

METHODNAME_REWRITER_RETURN_MULT_INTERN

protected static final String METHODNAME_REWRITER_RETURN_MULT_INTERN

See Also:

Constant Field Values

METHODNAME_REWRITER_REWRITE

protected static final String METHODNAME_REWRITER_REWRITE

See Also:

Constant Field Values

METHODNAME_REWRITER_REWRITETYPED

protected static final String METHODNAME_REWRITER_REWRITETYPED

See Also:

Constant Field Values

VARNAME_TYPEVAR_REWRITETYPED

protected static final String VARNAME_TYPEVAR_REWRITETYPED

See Also:

Constant Field Values

METHODNAME_REWRITER_LOOKUP

protected static final String METHODNAME_REWRITER_LOOKUP

See Also:

Constant Field Values

METHODNAME_REWRITER_putToCache

protected static final String METHODNAME_REWRITER_putToCache

See Also:

Constant Field Values

METHODNAME_COREWRITER_rewriteDone

protected static final String METHODNAME_COREWRITER_rewriteDone

See Also:

Constant Field Values

NAME_BASEMATCHER

protected static final String NAME_BASEMATCHER

See Also:

Constant Field Values

FIELDNAME_lowestGeneratedVisitorClass

protected static final String FIELDNAME_lowestGeneratedVisitorClass

See Also:

Constant Field Values

METHODNAME_MATCHFOREIGNOBJECT

public static final String METHODNAME_MATCHFOREIGNOBJECT

See Also:

Constant Field Values

METHODNAME_NOMATCH

public static final String METHODNAME_NOMATCH

See Also:

Constant Field Values

METHODNAMEPREFIX_DESCEND

protected static final String METHODNAMEPREFIX_DESCEND

See Also:

Constant Field Values

MODIF_STATICCLASS

protected static final int MODIF_STATICCLASS

See Also:

Constant Field Values

MODIF_VISITMETH

protected static final int MODIF_VISITMETH

See Also:

Constant Field Values

MODIF_VISITENTRY

protected static final int MODIF_VISITENTRY

See Also:

Constant Field Values

MODIF_FIELD

protected static final int MODIF_FIELD

See Also:

Constant Field Values

MODIF_PACKAGEVISIBLE

protected static final int MODIF_PACKAGEVISIBLE

See Also:

Constant Field Values

ANNOTATION_SUPPRESS_UNCHECKED

protected static final GeneratedAnnotation ANNOTATION_SUPPRESS_UNCHECKED

visitordebug

protected boolean visitordebug

visitoroptimize

protected boolean visitoroptimize

allrewriterwarnings

protected boolean allrewriterwarnings

msg

protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg

model

protected UMod.Forest model

context

protected GeneratedContext context

modelclass

protected GeneratedClass modelclass

basematcher

protected GeneratedClass basematcher

allVisitorNums_classDefs

protected Set<Integer> allVisitorNums_classDefs

allVisitorNums_visitorDefs

protected Set<Integer> allVisitorNums_visitorDefs

allVisitorNums

protected Set<Integer> allVisitorNums

descend_all_branches_case

public static final int descend_all_branches_case

See Also:

Constant Field Values

Method Detail

ERROR

protected void ERROR(Location<XMLDocumentIdentifier> loc,
                     String txt)

WARNING

protected void WARNING(Location<XMLDocumentIdentifier> loc,
                       String txt)

make_all_abstracts

public static void make_all_abstracts(GeneratedClass visitor,
                                      int key)

Iff visitor optimization is switched on, then the base visitor is derived from umod.runtime.OptimizingVisitor, and this method "makes all abstract" methods which are required by this base class. For being compilable, also classes which do not need optimization (e.g. built in UMod2format) must implement these methods. Simplest way is to call this method.

makeSCCfields

public void makeSCCfields(GeneratedClass basevisitor,
                          MetaType maptype,
                          String fieldname,
                          String methodname)

collectRegisters

protected void collectRegisters(GeneratedClass basevisitor)

The algorithm is basically as follows: +

 field2declaredClasses : Fd -> F Cd // F is *f*inite power set, as in "Z"
 select: Cd -> N -> seq Fd    // seq of fields selected for a certain register 
 super:  Cd -> Cd
 supSub: Cd <-> Cd = symmetricClosurre(reflexiveClosure(transitiveClosure(super)))
 // CANNOT exchange sequence of symmetric and transitive !!

 class2declaredClasses: N -> Cd -> F Cd 
    = {n|->c|->field2declaredClasses(|select(c,n).range|)} 
 reach: N-> Cd -> F Cd = subSub(|class2declaredClasses(|n, subSub(|{c}|) |) |)
 r2 = transitiveClosure ( scc (reach))
 

warnNoVisit

protected void warnNoVisit(UMod.ClassDef cd,
                           UMod.FieldDef fd,
                           boolean isPrim,
                           boolean isAbstract)

makeCallDescend

protected void makeCallDescend(GeneratedClass visitor,
                               UMod.ClassDef cd,
                               String methodname,
                               int keynum,
                               boolean optimizing)

Compiles the method which recursively calls "match()" on all selected fields, either directly or by calling "descend_()".
The name of the generated method is "action" in the simple visitor case, or "descend" in the multiphase case.

makeVisitorClass

protected GeneratedClass makeVisitorClass(GeneratedContext context,
                                          GeneratedClass basematcher,
                                          String name)

make_v_simple

protected GeneratedClass make_v_simple(UMod.Forest model,
                                       GeneratedContext context,
                                       GeneratedClass basematcher,
                                       int keynum,
                                       String name)

make_v_multiphase

protected GeneratedClass make_v_multiphase(UMod.Forest model,
                                           GeneratedContext context,
                                           GeneratedClass basematcher,
                                           int keynum,
                                           String name)

make_prepost

protected void make_prepost(GeneratedClass visitor,
                            String methname,
                            UMod.ClassDef cd,
                            UMod.ClassDef superclass)

make_actionprepost

protected void make_actionprepost(UMod.ClassDef cd,
                                  GeneratedClass visitor,
                                  UMod.ClassDef superclass)

make_v_dumper

protected GeneratedClass make_v_dumper(UMod.Forest model,
                                       GeneratedContext context,
                                       GeneratedClass basematcher,
                                       int keynum,
                                       String name)

make_dumpcode

protected void make_dumpcode(GeneratedClass visitor,
                             UMod.ClassDef cd,
                             int keynum)

make_v_rewritercorewriter

protected GeneratedClass make_v_rewritercorewriter(UMod.Forest model,
                                                   GeneratedContext context,
                                                   GeneratedClass basematcher,
                                                   int keynum,
                                                   String name,
                                                   UMod2visitors.rewriterType rtype,
                                                   boolean supportMultiSubst)

make_breakLoop_method

protected void make_breakLoop_method(UMod.Forest model,
                                     GeneratedClass visitor)