Package eu.bandm.tools.umod

Class UMod

java.lang.Object

eu.bandm.tools.umod.UMod

public class UMod
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	UMod.ClassDef
static class	UMod.ClassLike
static class	UMod.EnumDef
static class	UMod.ExtDeclaration
static class	UMod.FieldDef
static class	UMod.Forest
static class	UMod.IfaceDef
static class	UMod.Item
static class	UMod.Javablock
static class	UMod.Pr_constructor
static class	UMod.Pr_visitor
static class	UMod.Pragma00
static class	UMod.Printer
static class	UMod.T_2
static class	UMod.T_bool
static class	UMod.T_char
static class	UMod.T_copair
static class	UMod.T_dsum
static class	UMod.T_float
static class	UMod.T_int
static class	UMod.T_map
static class	UMod.T_opt
static class	UMod.T_pair
static class	UMod.T_power
static class	UMod.T_reference
static class	UMod.T_rel
static class	UMod.T_seq
static class	UMod.T_string
static class	UMod.Type
static class	UMod.TypeBasic
static class	UMod.TypeConstructed
static class	UMod.TypeDef
static class	UMod.TypePrime
static class	UMod.Visitor
static class	UMod.VisitorHint

Field Summary

Fields

Modifier and Type	Field	Description
static UMod.T_bool	BOOL
static UMod.T_char	CHAR
static UMod.T_float	FLOAT
static UMod.T_int	INT
static UMod.T_string	STRING

Constructor Summary

Constructors

Constructor	Description
UMod()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

INT

public static UMod.T_int INT

BOOL

public static UMod.T_bool BOOL

CHAR

public static UMod.T_char CHAR

FLOAT

public static UMod.T_float FLOAT

STRING

public static UMod.T_string STRING

Constructor Details

UMod

public UMod()