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.
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 decl.s 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_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_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