fr.lip6.move.pnml.symmetricnet.finiteEnumerations.hlapi.FiniteEnumerationHLAPI 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:02 CET 2016$
*/
package fr.lip6.move.pnml.symmetricnet.finiteEnumerations.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.finiteEnumerations.FEConstant;
import fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumeration;
import fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumerationsFactory;
import fr.lip6.move.pnml.symmetricnet.finiteEnumerations.impl.FiniteEnumerationsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.Type;
import fr.lip6.move.pnml.symmetricnet.hlcorestructure.hlapi.TypeHLAPI;
import fr.lip6.move.pnml.symmetricnet.multisets.All;
import fr.lip6.move.pnml.symmetricnet.multisets.Empty;
import fr.lip6.move.pnml.symmetricnet.multisets.hlapi.AllHLAPI;
import fr.lip6.move.pnml.symmetricnet.multisets.hlapi.EmptyHLAPI;
import fr.lip6.move.pnml.symmetricnet.partitions.Partition;
import fr.lip6.move.pnml.symmetricnet.partitions.hlapi.PartitionHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.MultisetSort;
import fr.lip6.move.pnml.symmetricnet.terms.NamedSort;
import fr.lip6.move.pnml.symmetricnet.terms.ProductSort;
import fr.lip6.move.pnml.symmetricnet.terms.VariableDecl;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.MultisetSortHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.NamedSortHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.ProductSortHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.SortHLAPI;
import fr.lip6.move.pnml.symmetricnet.terms.hlapi.VariableDeclHLAPI;
public class FiniteEnumerationHLAPI implements HLAPIClass,SortHLAPI{
/**
* The contained LLAPI element.
*/
private FiniteEnumeration item;
/**
* this constructor allows you to set all 'settable' values
* excepted container.
*/
public FiniteEnumerationHLAPI(){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
MultisetSortHLAPI multi
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(multi!=null)
item.setMulti((MultisetSort)multi.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
NamedSortHLAPI containerNamedSort
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(containerNamedSort!=null)
item.setContainerNamedSort((NamedSort)containerNamedSort.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
VariableDeclHLAPI containerVariableDecl
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(containerVariableDecl!=null)
item.setContainerVariableDecl((VariableDecl)containerVariableDecl.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
ProductSortHLAPI containerProductSort
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(containerProductSort!=null)
item.setContainerProductSort((ProductSort)containerProductSort.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
TypeHLAPI containerType
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(containerType!=null)
item.setContainerType((Type)containerType.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
AllHLAPI containerAll
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(containerAll!=null)
item.setContainerAll((All)containerAll.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
EmptyHLAPI containerEmpty
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(containerEmpty!=null)
item.setContainerEmpty((Empty)containerEmpty.getContainedItem());
}
/**
* this constructor allows you to set all 'settable' values, including container if any.
*/
public FiniteEnumerationHLAPI(
PartitionHLAPI containerPartition
){//BEGIN CONSTRUCTOR BODY
FiniteEnumerationsFactory fact = FiniteEnumerationsFactoryImpl.eINSTANCE;
synchronized(fact){item = fact.createFiniteEnumeration();}
if(containerPartition!=null)
item.setContainerPartition((Partition)containerPartition.getContainedItem());
}
/**
* This constructor encapsulate a low level API object in HLAPI.
*/
public FiniteEnumerationHLAPI(FiniteEnumeration lowLevelAPI){
item = lowLevelAPI;
}
// access to low level API
/**
* Return encapsulated object
*/
public FiniteEnumeration getContainedItem(){
return item;
}
//getters giving LLAPI object
/**
* Return the encapsulate Low Level API object.
*/
public MultisetSort getMulti(){
return item.getMulti();
}
/**
* Return the encapsulate Low Level API object.
*/
public NamedSort getContainerNamedSort(){
return item.getContainerNamedSort();
}
/**
* Return the encapsulate Low Level API object.
*/
public VariableDecl getContainerVariableDecl(){
return item.getContainerVariableDecl();
}
/**
* Return the encapsulate Low Level API object.
*/
public ProductSort getContainerProductSort(){
return item.getContainerProductSort();
}
/**
* Return the encapsulate Low Level API object.
*/
public Type getContainerType(){
return item.getContainerType();
}
/**
* Return the encapsulate Low Level API object.
*/
public All getContainerAll(){
return item.getContainerAll();
}
/**
* Return the encapsulate Low Level API object.
*/
public Empty getContainerEmpty(){
return item.getContainerEmpty();
}
/**
* Return the encapsulate Low Level API object.
*/
public Partition getContainerPartition(){
return item.getContainerPartition();
}
/**
* Return the encapsulate Low Level API object.
*/
public List getElements(){
return item.getElements();
}
//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 MultisetSortHLAPI getMultiHLAPI(){
if(item.getMulti() == null) return null;
return new MultisetSortHLAPI(item.getMulti());
}
/**
* 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 NamedSortHLAPI getContainerNamedSortHLAPI(){
if(item.getContainerNamedSort() == null) return null;
return new NamedSortHLAPI(item.getContainerNamedSort());
}
/**
* 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 VariableDeclHLAPI getContainerVariableDeclHLAPI(){
if(item.getContainerVariableDecl() == null) return null;
return new VariableDeclHLAPI(item.getContainerVariableDecl());
}
/**
* 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 ProductSortHLAPI getContainerProductSortHLAPI(){
if(item.getContainerProductSort() == null) return null;
return new ProductSortHLAPI(item.getContainerProductSort());
}
/**
* 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 TypeHLAPI getContainerTypeHLAPI(){
if(item.getContainerType() == null) return null;
return new TypeHLAPI(item.getContainerType());
}
/**
* 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 AllHLAPI getContainerAllHLAPI(){
if(item.getContainerAll() == null) return null;
return new AllHLAPI(item.getContainerAll());
}
/**
* 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 EmptyHLAPI getContainerEmptyHLAPI(){
if(item.getContainerEmpty() == null) return null;
return new EmptyHLAPI(item.getContainerEmpty());
}
/**
* 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 PartitionHLAPI getContainerPartitionHLAPI(){
if(item.getContainerPartition() == null) return null;
return new PartitionHLAPI(item.getContainerPartition());
}
/**
* 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 getElementsHLAPI(){
java.util.List retour = new ArrayList();
for (FEConstant elemnt : getElements()) {
retour.add(new FEConstantHLAPI(elemnt));
}
return retour;
}
//Special getter for list of generics object, return only one object type.
//setters (including container setter if aviable)
/**
* set Multi
*/
public void setMultiHLAPI(
MultisetSortHLAPI elem){
if(elem!=null)
item.setMulti((MultisetSort)elem.getContainedItem());
}
/**
* set ContainerNamedSort
*/
public void setContainerNamedSortHLAPI(
NamedSortHLAPI elem){
if(elem!=null)
item.setContainerNamedSort((NamedSort)elem.getContainedItem());
}
/**
* set ContainerVariableDecl
*/
public void setContainerVariableDeclHLAPI(
VariableDeclHLAPI elem){
if(elem!=null)
item.setContainerVariableDecl((VariableDecl)elem.getContainedItem());
}
/**
* set ContainerProductSort
*/
public void setContainerProductSortHLAPI(
ProductSortHLAPI elem){
if(elem!=null)
item.setContainerProductSort((ProductSort)elem.getContainedItem());
}
/**
* set ContainerType
*/
public void setContainerTypeHLAPI(
TypeHLAPI elem){
if(elem!=null)
item.setContainerType((Type)elem.getContainedItem());
}
/**
* set ContainerAll
*/
public void setContainerAllHLAPI(
AllHLAPI elem){
if(elem!=null)
item.setContainerAll((All)elem.getContainedItem());
}
/**
* set ContainerEmpty
*/
public void setContainerEmptyHLAPI(
EmptyHLAPI elem){
if(elem!=null)
item.setContainerEmpty((Empty)elem.getContainedItem());
}
/**
* set ContainerPartition
*/
public void setContainerPartitionHLAPI(
PartitionHLAPI elem){
if(elem!=null)
item.setContainerPartition((Partition)elem.getContainedItem());
}
//setters/remover for lists.
public void addElementsHLAPI(FEConstantHLAPI unit){
item.getElements().add((FEConstant)unit.getContainedItem());
}
public void removeElementsHLAPI(FEConstantHLAPI unit){
item.getElements().remove((FEConstant)unit.getContainedItem());
}
//equals method
public boolean equals(FiniteEnumerationHLAPI 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