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

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

Methods inherited from class java.lang.Object

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

Constructor Details

GiveName

protected GiveName()

Method Details

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