Package eu.bandm.tools.umod

Class Types.JavaMapper.GiveName

java.lang.Object

eu.bandm.tools.umod.UMod.Visitor

eu.bandm.tools.umod.Types.JavaMapper.GiveName

Enclosing class:

Types.JavaMapper

protected class Types.JavaMapper.GiveName
extends UMod.Visitor

Field Summary

Fields

Modifier and Type	Field	Description
(package private) String	res

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

result

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	GiveName()

Method Summary

Modifier and Type	Method	Description
void	action(UMod.T_power t)
void	action(UMod.TypeBasic t)
void	action(UMod.TypeConstructed t)
(package private) String	convert(UMod.Type t)

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, 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

res

String res

Constructor Details

GiveName

protected GiveName()

Method Details

convert

String convert(UMod.Type t)

action

public void action(UMod.TypeBasic t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.TypeConstructed t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_power t)

Overrides:

action in class UMod.Visitor