Package eu.bandm.tools.umod

Class UMod.ExtDeclaration

java.lang.Object

eu.bandm.tools.umod.UMod.Item

eu.bandm.tools.umod.UMod.ExtDeclaration

Enclosing class:

UMod

public static class UMod.ExtDeclaration
extends UMod.Item

Field Summary

Fields

Modifier and Type	Field	Description
protected MetaType	compiled
protected eu.bandm.tools.umod.absy.Element_extinstantiation	instantiation
protected String	name
protected ArrayList<String>	path
protected boolean	sourceonly

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

location

Constructor Summary

Constructors

Constructor	Description
ExtDeclaration(String n)

Method Summary

Modifier and Type	Method	Description
eu.bandm.tools.umod.absy.Element_extinstantiation	get_instantiation()
String	get_name()
List<String>	get_path()

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

Field Details

name

protected String name

instantiation

protected eu.bandm.tools.umod.absy.Element_extinstantiation instantiation

path

protected ArrayList<String> path

sourceonly

protected boolean sourceonly

compiled

protected MetaType compiled

Constructor Details

ExtDeclaration

public ExtDeclaration(String n)

Method Details

get_name

public String get_name()

get_instantiation

public eu.bandm.tools.umod.absy.Element_extinstantiation get_instantiation()

get_path

public List<String> get_path()