fr.lip6.move.pnml.symmetricnet.terms.hlapi

Interface TermsDeclarationHLAPI

All Superinterfaces:

HLAPIClass

All Known Subinterfaces:

OperatorDeclHLAPI, SortDeclHLAPI

All Known Implementing Classes:

FEConstantHLAPI, NamedOperatorHLAPI, NamedSortHLAPI, PartitionElementHLAPI, PartitionHLAPI, VariableDeclHLAPI

public interface TermsDeclarationHLAPI
extends HLAPIClass

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object item)
Declarations	getContainerDeclarations()
DeclarationsHLAPI	getContainerDeclarationsHLAPI() This accessor automaticaly encapsulate an element of the current object.
String	getId()
String	getName()
void	setContainerDeclarationsHLAPI(DeclarationsHLAPI elem) set ContainerDeclarations
void	setIdHLAPI(String elem) set Id
void	setNameHLAPI(String elem) set Name

Methods inherited from interface fr.lip6.move.pnml.framework.hlapi.HLAPIClass

fromPNML, getContainedItem, toPNML, toPNML, validateOCL

Method Detail

getId

String getId()

getName

String getName()

getContainerDeclarations

Declarations getContainerDeclarations()

getContainerDeclarationsHLAPI

DeclarationsHLAPI getContainerDeclarationsHLAPI()

This accessor automaticaly encapsulate an element of the current object. WARNING : this creates a new object in memory.

setIdHLAPI

void setIdHLAPI(String elem)
         throws InvalidIDException,
                VoidRepositoryException

set Id

Throws:

InvalidIDException

VoidRepositoryException

setNameHLAPI

void setNameHLAPI(String elem)

set Name

setContainerDeclarationsHLAPI

void setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)

set ContainerDeclarations

equals

boolean equals(Object item)

Overrides:

equals in class Object