eu.bandm.tools.umod

Class UMod.T_string

java.lang.Object

eu.bandm.tools.umod.UMod.Item

eu.bandm.tools.umod.UMod.Type

eu.bandm.tools.umod.UMod.TypePrime

eu.bandm.tools.umod.UMod.TypeBasic

eu.bandm.tools.umod.UMod.T_string

Enclosing class:

UMod

public static class UMod.T_string
extends UMod.TypeBasic

Field Summary

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

name

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

javaDecl, javaImpl

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

location

Constructor Summary

Constructors

Constructor and Description
T_string(String n, EnvironmentClass di, EnvironmentClass b)

Method Summary

Methods inherited from class eu.bandm.tools.umod.UMod.TypeBasic

get_name

Methods inherited from class eu.bandm.tools.umod.UMod.Item

get_location, set_location

Methods inherited from class java.lang.Object

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

Constructor Detail

T_string

public T_string(String n,
                EnvironmentClass di,
                EnvironmentClass b)