|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object ujf.verimag.bip.metamodelAPI.BipUtil
public class BipUtil
Constructor Summary | |
---|---|
BipUtil()
|
Method Summary | |
---|---|
static void |
addDeclarationToAtom(AtomType atom,
Declaration declaration)
Add an declaration to an existing Atom |
static void |
addDeclarationToModule(Module module,
Declaration declaration)
Add a declaration to an existing Module |
static AtomType |
getAtomTypeDefinition(java.lang.String definitionName,
Module module)
Search for a given atom definition within a module. |
static Component |
getComponentInstance(CompoundType scope,
java.lang.String instName)
Get component instance from a compound type |
static CompoundType |
getCompoundTypeDefinition(java.lang.String definitionName,
Module module)
Search for a given atom definition within a module. |
static Connector |
getConnectorInstance(CompoundType scope,
java.lang.String instName)
Get connector instance from a compound type |
static ConnectorType |
getConnectorType(Module module,
java.lang.String connectorTypeName)
Search for a given Connector type within a module |
static DataType |
getDataType(java.lang.String name,
Module module)
Look for a datatype in a module. |
static Port |
getPort(ComponentType componentType,
java.lang.String portName)
Search for a given port within a component type. |
static PortDefinition |
getPortDefinition(AtomType atom,
java.lang.String portName)
Search for a given port definition within an atom. |
static PortType |
getPortType(Module module,
java.lang.String portTypeName)
Search for a given Port type within a module |
static State |
getState(PetriNet behavior,
java.lang.String stateName)
Returns a State which exists inside a petrinet |
static java.util.List<Transition> |
getTransitionFrom(PetriNet behavior,
State from)
Returns a list of transitions starting from a specific state |
static java.util.List<Transition> |
getTransitionTo(PetriNet behavior,
State to)
Returns a list of transitions ending in a specific state |
static Variable |
getVariable(AtomType atom,
java.lang.String varname)
Search for a given variable within an atom |
static Variable[] |
getVariablesStartWith(AtomType atom,
java.lang.String prefix)
Search for variables with names starting with a given prefix within an atom |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BipUtil()
Method Detail |
---|
public static java.util.List<Transition> getTransitionFrom(PetriNet behavior, State from)
behavior
- the behaviorfrom
- the starting state
public static java.util.List<Transition> getTransitionTo(PetriNet behavior, State to)
behavior
- the behaviorfrom
- the ending state
public static State getState(PetriNet behavior, java.lang.String stateName)
behavior
- the PetrinetstateName
- the name of the State
public static PortDefinition getPortDefinition(AtomType atom, java.lang.String portName)
atom
- the atomportName
- the port's name
public static Port getPort(ComponentType componentType, java.lang.String portName)
componentType
- the component typeportName
- the port's name
public static AtomType getAtomTypeDefinition(java.lang.String definitionName, Module module)
definitionName
- the name of the atom definitionmodule
- the bip module
public static CompoundType getCompoundTypeDefinition(java.lang.String definitionName, Module module)
definitionName
- the name of the atom definitionmodule
- the bip module
public static PortType getPortType(Module module, java.lang.String portTypeName)
module
- moduleportTypeName
- the port type name
public static ConnectorType getConnectorType(Module module, java.lang.String connectorTypeName)
module
- moduleconnectorTypeName
- the connector type name
public static Variable getVariable(AtomType atom, java.lang.String varname)
atom
- the atomvarname
- the variable name
public static Variable[] getVariablesStartWith(AtomType atom, java.lang.String prefix)
atom
- the atomprefix
- the prefix
public static DataType getDataType(java.lang.String name, Module module)
name
- the name of the typemodule
- the module in which the type is looked for
public static void addDeclarationToModule(Module module, Declaration declaration)
module
- the moduledeclaration
- the declarationpublic static void addDeclarationToAtom(AtomType atom, Declaration declaration)
atom
- the atomdeclaration
- the declarationpublic static Component getComponentInstance(CompoundType scope, java.lang.String instName)
scope
- the compound typeinstName
- the name of the instance
public static Connector getConnectorInstance(CompoundType scope, java.lang.String instName)
scope
- the compound typeinstName
- the name of the instance
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |