Package eu.bandm.tools.umod

Class Types.JavaMapper

java.lang.Object

eu.bandm.tools.umod.UMod.Visitor

eu.bandm.tools.umod.Types.JavaMapper

Enclosing class:

Types

public static class Types.JavaMapper
extends UMod.Visitor

Central class for relating umod type definitions to Java type constructs. "new JavaMapper(..).match(Umod.Type t)" is called from several points in UMod.java. Only after a successful run, all fields of the »Type« elements in a umod meta-model are valid. The applications are idempotent.

On success, all type info necessary for compilation is stored destructively into the UMod.Type objects as followed:

    +--------------+
    | Umod.Type    |
    +--------------+
    | javaDecl:MetaClass  for generating all declarations of Java 
    |              |         instances of this type.
    |              |         == null only if type resolution FAILED!
    | javaImpl:MetaClass  for calling a constructor for this type.
    +--------------+
 
    +--------------+
    |Umod.TypeBasic|
    +--------------+
    | boxed:MetaClass     if javaDecl=javaImpl=(some prime, scalar class)
    |              |         then this field is !=null and 
    |              |         contains the boxed class.
    +--------------+
 
    +--------------+
    | Umod.T_reference
    +--------------+
    | isExternal:boolean   iff the reference is to an ExtDeclaration
    +--------------+
 
 

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	Types.JavaMapper.GiveName

Field Summary

Fields

Modifier and Type	Field	Description
protected UMod.Forest	curmodel
protected boolean	floatNotDouble
protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>>	msg

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

result

Constructor Summary

Constructors

Constructor	Description
JavaMapper(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg, UMod.Forest model, boolean floatNotDouble)

Method Summary

Modifier and Type	Method	Description
void	action(UMod.T_bool t)
void	action(UMod.T_char t)
void	action(UMod.T_copair t)
void	action(UMod.T_dsum t)
void	action(UMod.T_float t)
void	action(UMod.T_int t)
void	action(UMod.T_map t)
void	action(UMod.T_opt t)
void	action(UMod.T_optional t)
void	action(UMod.T_pair t)
void	action(UMod.T_power t)
void	action(UMod.T_reference t)
void	action(UMod.T_rel t)
void	action(UMod.T_seq t)
void	action(UMod.T_string t)
protected void	ERROR(Location<XMLDocumentIdentifier> loc, String txt)
protected boolean	erroroccured(UMod.Type t)
protected boolean	resolveboth(UMod.T_2 t)
protected void	simple(UMod.TypeBasic t, EnvironmentClass scalar, EnvironmentClass boxed)
protected void	WARNING(Location<XMLDocumentIdentifier> loc, String txt)

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, descend_Forest$extBySequence, getResult, match

Methods inherited from class java.lang.Object

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

Field Details

curmodel

protected UMod.Forest curmodel

floatNotDouble

protected boolean floatNotDouble

msg

protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg

Constructor Details

JavaMapper

public JavaMapper(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg,
 UMod.Forest model,
 boolean floatNotDouble)

Method Details

erroroccured

protected boolean erroroccured(UMod.Type t)

resolveboth

protected boolean resolveboth(UMod.T_2 t)

WARNING

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

ERROR

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

action

public void action(UMod.T_reference t)

Overrides:

action in class UMod.Visitor

simple

protected void simple(UMod.TypeBasic t,
 EnvironmentClass scalar,
 EnvironmentClass boxed)

action

public void action(UMod.T_int t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_float t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_char t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_string t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_bool t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_opt t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_optional t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_seq t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_power t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_map t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_rel t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_pair t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_copair t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_dsum t)

Overrides:

action in class UMod.Visitor