fr.lip6.move.pnml.symmetricnet.integers.hlapi.ModuloHLAPI Maven / Gradle / Ivy
/**
* Copyright 2009-2016 Université Paris Ouest and Sorbonne Universités,
* Univ. Paris 06 - CNRS UMR 7606 (LIP6)
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Project leader / Initial Contributor:
* Lom Messan Hillah -
*
* Contributors:
* ${ocontributors} - <$oemails}>
*
* Mailing list:
* [email protected]
*/
/**
* (C) Sorbonne Universités, UPMC Univ Paris 06, UMR CNRS 7606 (LIP6)
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Lom HILLAH (LIP6) - Initial models and implementation
* Rachid Alahyane (UPMC) - Infrastructure and continuous integration
* Bastien Bouzerau (UPMC) - Architecture
* Guillaume Giffo (UPMC) - Code generation refactoring, High-level API
*
* $Id ggiffo, Thu Feb 11 16:29:03 CET 2016$
*/
package fr.lip6.move.pnml.symmetricnet.integers.hlapi;
import java.nio.channels.FileChannel;
import java.util.ArrayList;
import java.util.List;
import org.apache.axiom.om.OMElement;
import org.eclipse.emf.common.util.DiagnosticChain;
import fr.lip6.move.pnml.framework.hlapi.HLAPIClass;
import fr.lip6.move.pnml.framework.utils.IdRefLinker;
import fr.lip6.move.pnml.framework.utils.exception.InnerBuildException;
import fr.lip6.move.pnml.framework.utils.exception.InvalidIDException;
import fr.lip6.move.pnml.framework.utils.exception.VoidRepositoryException;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.Condition;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.HLAnnotation;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.HLMarking;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.hlapi.ConditionHLAPI;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.hlapi.HLAnnotationHLAPI;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.hlapi.HLMarkingHLAPI;
import fr.lip6.move.pnml.symmetricnet.integers.IntegersFactory;
import fr.lip6.move.pnml.symmetricnet.integers.Modulo;
import fr.lip6.move.pnml.symmetricnet.integers.impl.IntegersFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.partitions.PartitionElement;
import fr.lip6.move.pnml.symmetricnet.partitions.hlapi.PartitionElementHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.NamedOperator;
import fr.lip6.move.pnml.symmetricnet.terms.Operator;
import fr.lip6.move.pnml.symmetricnet.terms.Sort;
import fr.lip6.move.pnml.symmetricnet.terms.Term;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.NamedOperatorHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.OperatorHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.SortHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.TermHLAPI;
public class ModuloHLAPI implements HLAPIClass,TermHLAPI,OperatorHLAPI{
/**
* The contained LLAPI element.
*/
private Modulo item;
/**
* this constructor allows you to set all 'settable' values
* excepted container.
*/
public ModuloHLAPI(
SortHLAPI sort
, SortHLAPI output
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(sort!=null)
item.setSort((Sort)sort.getContainedItem());
if(output!=null)
item.setOutput((Sort)output.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public ModuloHLAPI(
SortHLAPI sort
, SortHLAPI output
, OperatorHLAPI containerOperator
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(sort!=null)
item.setSort((Sort)sort.getContainedItem());
if(output!=null)
item.setOutput((Sort)output.getContainedItem());
if(containerOperator!=null)
item.setContainerOperator((Operator)containerOperator.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public ModuloHLAPI(
SortHLAPI sort
, SortHLAPI output
, NamedOperatorHLAPI containerNamedOperator
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(sort!=null)
item.setSort((Sort)sort.getContainedItem());
if(output!=null)
item.setOutput((Sort)output.getContainedItem());
if(containerNamedOperator!=null)
item.setContainerNamedOperator((NamedOperator)containerNamedOperator.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public ModuloHLAPI(
SortHLAPI sort
, SortHLAPI output
, HLMarkingHLAPI containerHLMarking
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(sort!=null)
item.setSort((Sort)sort.getContainedItem());
if(output!=null)
item.setOutput((Sort)output.getContainedItem());
if(containerHLMarking!=null)
item.setContainerHLMarking((HLMarking)containerHLMarking.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public ModuloHLAPI(
SortHLAPI sort
, SortHLAPI output
, ConditionHLAPI containerCondition
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(sort!=null)
item.setSort((Sort)sort.getContainedItem());
if(output!=null)
item.setOutput((Sort)output.getContainedItem());
if(containerCondition!=null)
item.setContainerCondition((Condition)containerCondition.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public ModuloHLAPI(
SortHLAPI sort
, SortHLAPI output
, HLAnnotationHLAPI containerHLAnnotation
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(sort!=null)
item.setSort((Sort)sort.getContainedItem());
if(output!=null)
item.setOutput((Sort)output.getContainedItem());
if(containerHLAnnotation!=null)
item.setContainerHLAnnotation((HLAnnotation)containerHLAnnotation.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public ModuloHLAPI(
SortHLAPI sort
, SortHLAPI output
, PartitionElementHLAPI containerPartitionElement
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(sort!=null)
item.setSort((Sort)sort.getContainedItem());
if(output!=null)
item.setOutput((Sort)output.getContainedItem());
if(containerPartitionElement!=null)
item.setContainerPartitionElement((PartitionElement)containerPartitionElement.getContainedItem());
}
/**
* This constructor give access to required stuff only (and container)
*/
public ModuloHLAPI(
OperatorHLAPI containerOperator
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(containerOperator!=null)
item.setContainerOperator((Operator)containerOperator.getContainedItem());
}
/**
* This constructor give access to required stuff only (and container)
*/
public ModuloHLAPI(
NamedOperatorHLAPI containerNamedOperator
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(containerNamedOperator!=null)
item.setContainerNamedOperator((NamedOperator)containerNamedOperator.getContainedItem());
}
/**
* This constructor give access to required stuff only (and container)
*/
public ModuloHLAPI(
HLMarkingHLAPI containerHLMarking
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(containerHLMarking!=null)
item.setContainerHLMarking((HLMarking)containerHLMarking.getContainedItem());
}
/**
* This constructor give access to required stuff only (and container)
*/
public ModuloHLAPI(
ConditionHLAPI containerCondition
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(containerCondition!=null)
item.setContainerCondition((Condition)containerCondition.getContainedItem());
}
/**
* This constructor give access to required stuff only (and container)
*/
public ModuloHLAPI(
HLAnnotationHLAPI containerHLAnnotation
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(containerHLAnnotation!=null)
item.setContainerHLAnnotation((HLAnnotation)containerHLAnnotation.getContainedItem());
}
/**
* This constructor give access to required stuff only (and container)
*/
public ModuloHLAPI(
PartitionElementHLAPI containerPartitionElement
){//BEGIN CONSTRUCTOR BODY
IntegersFactory fact = IntegersFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createModulo();}
if(containerPartitionElement!=null)
item.setContainerPartitionElement((PartitionElement)containerPartitionElement.getContainedItem());
}
/**
* This constructor encapsulate a low level API object in HLAPI.
*/
public ModuloHLAPI(Modulo lowLevelAPI){
item = lowLevelAPI;
}
// access to low level API
/**
* Return encapsulated object
*/
public Modulo getContainedItem(){
return item;
}
//getters giving LLAPI object
/**
* Return the encapsulate Low Level API object.
*/
public Sort getSort(){
return item.getSort();
}
/**
* Return the encapsulate Low Level API object.
*/
public Operator getContainerOperator(){
return item.getContainerOperator();
}
/**
* Return the encapsulate Low Level API object.
*/
public NamedOperator getContainerNamedOperator(){
return item.getContainerNamedOperator();
}
/**
* Return the encapsulate Low Level API object.
*/
public HLMarking getContainerHLMarking(){
return item.getContainerHLMarking();
}
/**
* Return the encapsulate Low Level API object.
*/
public Condition getContainerCondition(){
return item.getContainerCondition();
}
/**
* Return the encapsulate Low Level API object.
*/
public HLAnnotation getContainerHLAnnotation(){
return item.getContainerHLAnnotation();
}
/**
* Return the encapsulate Low Level API object.
*/
public PartitionElement getContainerPartitionElement(){
return item.getContainerPartitionElement();
}
/**
* Return the encapsulate Low Level API object.
*/
public List getSubterm(){
return item.getSubterm();
}
/**
* Return the encapsulate Low Level API object.
*/
public Sort getOutput(){
return item.getOutput();
}
/**
* Return the encapsulate Low Level API object.
*/
public List getInput(){
return item.getInput();
}
//getters giving HLAPI object
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public SortHLAPI getSortHLAPI(){
if(item.getSort() == null) return null;
Sort object = item.getSort();
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.NaturalImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.NaturalHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Natural)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.PositiveImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.PositiveHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Positive)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.HLIntegerImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.HLIntegerHLAPI((fr.lip6.move.pnml.symmetricnet.integers.HLInteger)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.BoolImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.BoolHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.Bool)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.CyclicEnumerationImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.CyclicEnumerationHLAPI((fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.CyclicEnumeration)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.dots.impl.DotImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.dots.hlapi.DotHLAPI((fr.lip6.move.pnml.symmetricnet.dots.Dot)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteEnumerations.impl.FiniteEnumerationImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteEnumerations.hlapi.FiniteEnumerationHLAPI((fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumeration)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.FiniteIntRangeHLAPI((fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRange)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.MultisetSortImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.MultisetSortHLAPI((fr.lip6.move.pnml.symmetricnet.terms.MultisetSort)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.ProductSortImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.ProductSortHLAPI((fr.lip6.move.pnml.symmetricnet.terms.ProductSort)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.UserSortImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.UserSortHLAPI((fr.lip6.move.pnml.symmetricnet.terms.UserSort)object);
}
return null;
}
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public OperatorHLAPI getContainerOperatorHLAPI(){
if(item.getContainerOperator() == null) return null;
Operator object = item.getContainerOperator();
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.NumberConstantImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.NumberConstantHLAPI((fr.lip6.move.pnml.symmetricnet.integers.NumberConstant)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.AdditionImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.AdditionHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Addition)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.SubtractionImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.SubtractionHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Subtraction)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.MultiplicationImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.MultiplicationHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Multiplication)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.DivisionImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.DivisionHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Division)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.ModuloImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.ModuloHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Modulo)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.GreaterThanImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.GreaterThanHLAPI((fr.lip6.move.pnml.symmetricnet.integers.GreaterThan)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.GreaterThanOrEqualImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.GreaterThanOrEqualHLAPI((fr.lip6.move.pnml.symmetricnet.integers.GreaterThanOrEqual)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.LessThanImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.LessThanHLAPI((fr.lip6.move.pnml.symmetricnet.integers.LessThan)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.LessThanOrEqualImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.LessThanOrEqualHLAPI((fr.lip6.move.pnml.symmetricnet.integers.LessThanOrEqual)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.EqualityImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.EqualityHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.Equality)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.InequalityImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.InequalityHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.Inequality)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.BooleanConstantImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.BooleanConstantHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.BooleanConstant)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.OrImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.OrHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.Or)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.AndImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.AndHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.And)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.ImplyImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.ImplyHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.Imply)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.NotImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.NotHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.Not)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.SuccessorImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.SuccessorHLAPI((fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.Successor)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.PredecessorImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.PredecessorHLAPI((fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.Predecessor)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.dots.impl.DotConstantImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.dots.hlapi.DotConstantHLAPI((fr.lip6.move.pnml.symmetricnet.dots.DotConstant)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeConstantImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.FiniteIntRangeConstantHLAPI((fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangeConstant)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.LessThanImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.LessThanHLAPI((fr.lip6.move.pnml.symmetricnet.finiteIntRanges.LessThan)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.GreaterThanImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.GreaterThanHLAPI((fr.lip6.move.pnml.symmetricnet.finiteIntRanges.GreaterThan)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.LessThanOrEqualImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.LessThanOrEqualHLAPI((fr.lip6.move.pnml.symmetricnet.finiteIntRanges.LessThanOrEqual)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.GreaterThanOrEqualImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.GreaterThanOrEqualHLAPI((fr.lip6.move.pnml.symmetricnet.finiteIntRanges.GreaterThanOrEqual)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.CardinalityImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.CardinalityHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.Cardinality)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.ContainsImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.ContainsHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.Contains)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.CardinalityOfImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.CardinalityOfHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.CardinalityOf)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.AddImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.AddHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.Add)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.AllImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.AllHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.All)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.EmptyImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.EmptyHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.Empty)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.NumberOfImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.NumberOfHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.NumberOf)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.SubtractImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.SubtractHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.Subtract)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.ScalarProductImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.ScalarProductHLAPI((fr.lip6.move.pnml.symmetricnet.multisets.ScalarProduct)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.GreaterThanImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.GreaterThanHLAPI((fr.lip6.move.pnml.symmetricnet.partitions.GreaterThan)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.PartitionElementOfImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.PartitionElementOfHLAPI((fr.lip6.move.pnml.symmetricnet.partitions.PartitionElementOf)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.LessThanImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.LessThanHLAPI((fr.lip6.move.pnml.symmetricnet.partitions.LessThan)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.TupleImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.TupleHLAPI((fr.lip6.move.pnml.symmetricnet.terms.Tuple)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.UserOperatorImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.UserOperatorHLAPI((fr.lip6.move.pnml.symmetricnet.terms.UserOperator)object);
}
return null;
}
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public NamedOperatorHLAPI getContainerNamedOperatorHLAPI(){
if(item.getContainerNamedOperator() == null) return null;
return new NamedOperatorHLAPI(item.getContainerNamedOperator());
}
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public HLMarkingHLAPI getContainerHLMarkingHLAPI(){
if(item.getContainerHLMarking() == null) return null;
return new HLMarkingHLAPI(item.getContainerHLMarking());
}
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public ConditionHLAPI getContainerConditionHLAPI(){
if(item.getContainerCondition() == null) return null;
return new ConditionHLAPI(item.getContainerCondition());
}
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public HLAnnotationHLAPI getContainerHLAnnotationHLAPI(){
if(item.getContainerHLAnnotation() == null) return null;
return new HLAnnotationHLAPI(item.getContainerHLAnnotation());
}
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public PartitionElementHLAPI getContainerPartitionElementHLAPI(){
if(item.getContainerPartitionElement() == null) return null;
return new PartitionElementHLAPI(item.getContainerPartitionElement());
}
/**
* This accessor automatically encapsulate all elements of the selected sublist.
* WARNING : this can creates a lot of new object in memory.
*/
public java.util.List getSubtermHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.NumberConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.NumberConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.NumberConstant)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.AdditionImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.AdditionHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Addition)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.SubtractionImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.SubtractionHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Subtraction)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.MultiplicationImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.MultiplicationHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Multiplication)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.DivisionImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.DivisionHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Division)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.ModuloImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.ModuloHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Modulo)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.GreaterThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.GreaterThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.GreaterThan)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.GreaterThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.GreaterThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.GreaterThanOrEqual)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.LessThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.LessThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.LessThan)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.LessThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.LessThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.LessThanOrEqual)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.EqualityImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.EqualityHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Equality)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.InequalityImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.InequalityHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Inequality)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.BooleanConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.BooleanConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.BooleanConstant)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.OrImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.OrHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Or)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.AndImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.AndHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.And)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.ImplyImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.ImplyHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Imply)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.NotImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.NotHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Not)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.SuccessorImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.SuccessorHLAPI(
(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.Successor)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.PredecessorImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.PredecessorHLAPI(
(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.Predecessor)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.dots.impl.DotConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.dots.hlapi.DotConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.dots.DotConstant)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.FiniteIntRangeConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangeConstant)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.LessThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.LessThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.LessThan)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.GreaterThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.GreaterThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.GreaterThan)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.LessThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.LessThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.LessThanOrEqual)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.GreaterThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.GreaterThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.GreaterThanOrEqual)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.CardinalityImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.CardinalityHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Cardinality)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.ContainsImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.ContainsHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Contains)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.CardinalityOfImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.CardinalityOfHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.CardinalityOf)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.AddImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.AddHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Add)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.AllImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.AllHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.All)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.EmptyImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.EmptyHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Empty)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.NumberOfImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.NumberOfHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.NumberOf)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.SubtractImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.SubtractHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Subtract)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.ScalarProductImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.ScalarProductHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.ScalarProduct)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.GreaterThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.GreaterThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.partitions.GreaterThan)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.PartitionElementOfImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.PartitionElementOfHLAPI(
(fr.lip6.move.pnml.symmetricnet.partitions.PartitionElementOf)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.LessThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.LessThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.partitions.LessThan)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.VariableImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.VariableHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.Variable)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.TupleImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.TupleHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.Tuple)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.UserOperatorImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.UserOperatorHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.UserOperator)elemnt
));
continue;
}
}
return retour;
}
/**
* This accessor automatically encapsulate an element of the current object.
* WARNING : this creates a new object in memory.
* @return : null if the element is null
*/
public SortHLAPI getOutputHLAPI(){
if(item.getOutput() == null) return null;
Sort object = item.getOutput();
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.NaturalImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.NaturalHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Natural)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.PositiveImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.PositiveHLAPI((fr.lip6.move.pnml.symmetricnet.integers.Positive)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.HLIntegerImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.integers.hlapi.HLIntegerHLAPI((fr.lip6.move.pnml.symmetricnet.integers.HLInteger)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.BoolImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.BoolHLAPI((fr.lip6.move.pnml.symmetricnet.booleans.Bool)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.CyclicEnumerationImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.CyclicEnumerationHLAPI((fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.CyclicEnumeration)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.dots.impl.DotImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.dots.hlapi.DotHLAPI((fr.lip6.move.pnml.symmetricnet.dots.Dot)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteEnumerations.impl.FiniteEnumerationImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteEnumerations.hlapi.FiniteEnumerationHLAPI((fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumeration)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.FiniteIntRangeHLAPI((fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRange)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.MultisetSortImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.MultisetSortHLAPI((fr.lip6.move.pnml.symmetricnet.terms.MultisetSort)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.ProductSortImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.ProductSortHLAPI((fr.lip6.move.pnml.symmetricnet.terms.ProductSort)object);
}
if(object.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.UserSortImpl.class)){
return new fr.lip6.move.pnml.symmetricnet.terms.hlapi.UserSortHLAPI((fr.lip6.move.pnml.symmetricnet.terms.UserSort)object);
}
return null;
}
/**
* This accessor automatically encapsulate all elements of the selected sublist.
* WARNING : this can creates a lot of new object in memory.
*/
public java.util.List getInputHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.NaturalImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.NaturalHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Natural)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.PositiveImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.PositiveHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Positive)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.HLIntegerImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.HLIntegerHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.HLInteger)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.BoolImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.BoolHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Bool)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.CyclicEnumerationImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.CyclicEnumerationHLAPI(
(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.CyclicEnumeration)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.dots.impl.DotImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.dots.hlapi.DotHLAPI(
(fr.lip6.move.pnml.symmetricnet.dots.Dot)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteEnumerations.impl.FiniteEnumerationImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteEnumerations.hlapi.FiniteEnumerationHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumeration)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.FiniteIntRangeHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRange)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.MultisetSortImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.MultisetSortHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.MultisetSort)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.ProductSortImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.ProductSortHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.ProductSort)elemnt
));
continue;
}
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.UserSortImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.UserSortHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.UserSort)elemnt
));
continue;
}
}
return retour;
}
//Special getter for list of generics object, return only one object type.
/**
* This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_NumberConstantHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.NumberConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.NumberConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.NumberConstant)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of AdditionHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_AdditionHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.AdditionImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.AdditionHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Addition)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of SubtractionHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_SubtractionHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.SubtractionImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.SubtractionHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Subtraction)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of MultiplicationHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_MultiplicationHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.MultiplicationImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.MultiplicationHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Multiplication)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of DivisionHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_DivisionHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.DivisionImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.DivisionHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Division)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of ModuloHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_ModuloHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.ModuloImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.ModuloHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Modulo)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_GreaterThanHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.GreaterThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.GreaterThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.GreaterThan)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_GreaterThanOrEqualHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.GreaterThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.GreaterThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.GreaterThanOrEqual)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_LessThanHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.LessThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.LessThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.LessThan)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_integers_LessThanOrEqualHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.LessThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.LessThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.LessThanOrEqual)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of EqualityHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_booleans_EqualityHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.EqualityImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.EqualityHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Equality)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of InequalityHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_booleans_InequalityHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.InequalityImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.InequalityHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Inequality)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of BooleanConstantHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_booleans_BooleanConstantHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.BooleanConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.BooleanConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.BooleanConstant)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of OrHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_booleans_OrHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.OrImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.OrHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Or)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of AndHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_booleans_AndHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.AndImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.AndHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.And)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of ImplyHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_booleans_ImplyHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.ImplyImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.ImplyHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Imply)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of NotHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_booleans_NotHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.NotImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.NotHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Not)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of SuccessorHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_cyclicEnumerations_SuccessorHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.SuccessorImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.SuccessorHLAPI(
(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.Successor)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of PredecessorHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_cyclicEnumerations_PredecessorHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.PredecessorImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.PredecessorHLAPI(
(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.Predecessor)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of DotConstantHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_dots_DotConstantHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.dots.impl.DotConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.dots.hlapi.DotConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.dots.DotConstant)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of FiniteIntRangeConstantHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeConstantImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.FiniteIntRangeConstantHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangeConstant)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_finiteIntRanges_LessThanHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.LessThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.LessThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.LessThan)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_finiteIntRanges_GreaterThanHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.GreaterThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.GreaterThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.GreaterThan)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_finiteIntRanges_LessThanOrEqualHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.LessThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.LessThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.LessThanOrEqual)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.GreaterThanOrEqualImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.GreaterThanOrEqualHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.GreaterThanOrEqual)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of CardinalityHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_CardinalityHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.CardinalityImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.CardinalityHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Cardinality)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of ContainsHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_ContainsHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.ContainsImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.ContainsHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Contains)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of CardinalityOfHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_CardinalityOfHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.CardinalityOfImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.CardinalityOfHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.CardinalityOf)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of AddHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_AddHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.AddImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.AddHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Add)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of AllHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_AllHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.AllImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.AllHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.All)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_EmptyHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.EmptyImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.EmptyHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Empty)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of NumberOfHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_NumberOfHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.NumberOfImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.NumberOfHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.NumberOf)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of SubtractHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_SubtractHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.SubtractImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.SubtractHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.Subtract)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of ScalarProductHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_multisets_ScalarProductHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.multisets.impl.ScalarProductImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.multisets.hlapi.ScalarProductHLAPI(
(fr.lip6.move.pnml.symmetricnet.multisets.ScalarProduct)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_partitions_GreaterThanHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.GreaterThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.GreaterThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.partitions.GreaterThan)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of PartitionElementOfHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_partitions_PartitionElementOfHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.PartitionElementOfImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.PartitionElementOfHLAPI(
(fr.lip6.move.pnml.symmetricnet.partitions.PartitionElementOf)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_partitions_LessThanHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.partitions.impl.LessThanImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.partitions.hlapi.LessThanHLAPI(
(fr.lip6.move.pnml.symmetricnet.partitions.LessThan)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of VariableHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_terms_VariableHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.VariableImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.VariableHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.Variable)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of TupleHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_terms_TupleHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.TupleImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.TupleHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.Tuple)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of UserOperatorHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getSubterm_terms_UserOperatorHLAPI(){
java.util.List retour = new ArrayList();
for (Term elemnt : getSubterm()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.UserOperatorImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.UserOperatorHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.UserOperator)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of NaturalHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_integers_NaturalHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.NaturalImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.NaturalHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Natural)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of PositiveHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_integers_PositiveHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.PositiveImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.PositiveHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.Positive)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of HLIntegerHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_integers_HLIntegerHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.integers.impl.HLIntegerImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.integers.hlapi.HLIntegerHLAPI(
(fr.lip6.move.pnml.symmetricnet.integers.HLInteger)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of BoolHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_booleans_BoolHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.booleans.impl.BoolImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.booleans.hlapi.BoolHLAPI(
(fr.lip6.move.pnml.symmetricnet.booleans.Bool)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of CyclicEnumerationHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_cyclicEnumerations_CyclicEnumerationHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.CyclicEnumerationImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.hlapi.CyclicEnumerationHLAPI(
(fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.CyclicEnumeration)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of DotHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_dots_DotHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.dots.impl.DotImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.dots.hlapi.DotHLAPI(
(fr.lip6.move.pnml.symmetricnet.dots.Dot)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of FiniteEnumerationHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_finiteEnumerations_FiniteEnumerationHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteEnumerations.impl.FiniteEnumerationImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteEnumerations.hlapi.FiniteEnumerationHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumeration)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of FiniteIntRangeHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_finiteIntRanges_FiniteIntRangeHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.finiteIntRanges.hlapi.FiniteIntRangeHLAPI(
(fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRange)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of MultisetSortHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_terms_MultisetSortHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.MultisetSortImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.MultisetSortHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.MultisetSort)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of ProductSortHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_terms_ProductSortHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.ProductSortImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.ProductSortHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.ProductSort)elemnt
));
}
}
return retour;
}
/**
* This accessor return a list of encapsulated subelement, only of UserSortHLAPI kind.
* WARNING : this method can creates a lot of new object in memory.
*/
public java.util.List getInput_terms_UserSortHLAPI(){
java.util.List retour = new ArrayList();
for (Sort elemnt : getInput()) {
if(elemnt.getClass().equals(fr.lip6.move.pnml.symmetricnet.terms.impl.UserSortImpl.class)){
retour.add(new fr.lip6.move.pnml.symmetricnet.terms.hlapi.UserSortHLAPI(
(fr.lip6.move.pnml.symmetricnet.terms.UserSort)elemnt
));
}
}
return retour;
}
//setters (including container setter if aviable)
/**
* set Sort
*/
public void setSortHLAPI(
SortHLAPI elem){
if(elem!=null)
item.setSort((Sort)elem.getContainedItem());
}
/**
* set Output
*/
public void setOutputHLAPI(
SortHLAPI elem){
if(elem!=null)
item.setOutput((Sort)elem.getContainedItem());
}
/**
* set ContainerOperator
*/
public void setContainerOperatorHLAPI(
OperatorHLAPI elem){
if(elem!=null)
item.setContainerOperator((Operator)elem.getContainedItem());
}
/**
* set ContainerNamedOperator
*/
public void setContainerNamedOperatorHLAPI(
NamedOperatorHLAPI elem){
if(elem!=null)
item.setContainerNamedOperator((NamedOperator)elem.getContainedItem());
}
/**
* set ContainerHLMarking
*/
public void setContainerHLMarkingHLAPI(
HLMarkingHLAPI elem){
if(elem!=null)
item.setContainerHLMarking((HLMarking)elem.getContainedItem());
}
/**
* set ContainerCondition
*/
public void setContainerConditionHLAPI(
ConditionHLAPI elem){
if(elem!=null)
item.setContainerCondition((Condition)elem.getContainedItem());
}
/**
* set ContainerHLAnnotation
*/
public void setContainerHLAnnotationHLAPI(
HLAnnotationHLAPI elem){
if(elem!=null)
item.setContainerHLAnnotation((HLAnnotation)elem.getContainedItem());
}
/**
* set ContainerPartitionElement
*/
public void setContainerPartitionElementHLAPI(
PartitionElementHLAPI elem){
if(elem!=null)
item.setContainerPartitionElement((PartitionElement)elem.getContainedItem());
}
//setters/remover for lists.
public void addSubtermHLAPI(TermHLAPI unit){
item.getSubterm().add((Term)unit.getContainedItem());
}
public void removeSubtermHLAPI(TermHLAPI unit){
item.getSubterm().remove((Term)unit.getContainedItem());
}
//equals method
public boolean equals(ModuloHLAPI item){
return item.getContainedItem().equals(getContainedItem());
}
//PNML
/**
* Returns the PNML xml tree for this object.
*/
public String toPNML(){
return item.toPNML();
}
/**
* Writes the PNML XML tree of this object into file channel.
*/
public void toPNML(FileChannel fc){
item.toPNML(fc);
}
/**
* creates an object from the xml nodes.(symetric work of toPNML)
*/
public void fromPNML(OMElement subRoot,IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException{
item.fromPNML(subRoot,idr);
}
public boolean validateOCL(DiagnosticChain diagnostics){
return item.validateOCL(diagnostics);
}
} © 2015 - 2025 Weber Informatics LLC | Privacy Policy