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 inherited from class eu.bandm.tools.umod.UMod.Visitor

result

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GiveName()

Method Summary

Modifier and Type	Method and Description
void	action(UMod.T_power t)
void	action(UMod.TypeBasic t)
void	action(UMod.TypeConstructed 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, getResult, match

Methods inherited from class java.lang.Object

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

Constructor Detail

GiveName

protected GiveName()

Method Detail

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