fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeConstantImpl 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/MoVe)
* 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
*/
package fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl;
import java.io.IOException;
import java.nio.ByteBuffer;
import java.nio.channels.FileChannel;
import java.nio.charset.Charset;
import java.util.Iterator;
import java.util.List;
import javax.xml.namespace.QName;
import org.apache.axiom.om.OMElement;
import org.eclipse.emf.common.notify.Notification;
import org.eclipse.emf.common.notify.NotificationChain;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.InternalEObject;
import org.eclipse.emf.ecore.impl.ENotificationImpl;
import fr.lip6.move.pnml.framework.general.PnmlExport;
import fr.lip6.move.pnml.framework.utils.IdRefLinker;
import fr.lip6.move.pnml.framework.utils.ModelRepository;
import fr.lip6.move.pnml.framework.utils.PNMLEncoding;
import fr.lip6.move.pnml.framework.utils.PrettyPrintData;
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.booleans.impl.BooleansFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.CyclicEnumerationsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.dots.impl.DotsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRange;
import fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangeConstant;
import fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangesFactory;
import fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangesPackage;
import fr.lip6.move.pnml.symmetricnet.integers.impl.IntegersFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.multisets.impl.MultisetsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.partitions.impl.PartitionsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.terms.Term;
import fr.lip6.move.pnml.symmetricnet.terms.impl.BuiltInConstantImpl;
import fr.lip6.move.pnml.symmetricnet.terms.impl.TermsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.terms.util.TermsValidator;
/**
*
* An implementation of the model object 'Finite Int Range Constant'.
*
*
* The following features are implemented:
*
* - {@link fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeConstantImpl#getValue Value}
* - {@link fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeConstantImpl#getRange Range}
*
*
*
* @generated
*/
public class FiniteIntRangeConstantImpl extends BuiltInConstantImpl implements FiniteIntRangeConstant {
/**
* The default value of the '{@link #getValue() Value}' attribute.
*
*
* @see #getValue()
* @generated
* @ordered
*/
protected static final Integer VALUE_EDEFAULT = null;
/**
* The cached value of the '{@link #getValue() Value}' attribute.
*
*
* @see #getValue()
* @generated
* @ordered
*/
protected Integer value = VALUE_EDEFAULT;
/**
* The cached value of the '{@link #getRange() Range}' containment reference.
*
*
* @see #getRange()
* @generated
* @ordered
*/
protected FiniteIntRange range;
/**
*
*
* @generated
*/
protected FiniteIntRangeConstantImpl() {
super();
}
/**
*
*
* @generated
*/
@Override
protected EClass eStaticClass() {
return FiniteIntRangesPackage.Literals.FINITE_INT_RANGE_CONSTANT;
}
/**
*
*
* @generated
*/
@Override
public Integer getValue() {
return value;
}
/**
*
*
* @generated
*/
@Override
public void setValue(Integer newValue) {
Integer oldValue = value;
value = newValue;
if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET,
FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__VALUE, oldValue, value));
}
/**
*
*
* @generated
*/
@Override
public FiniteIntRange getRange() {
return range;
}
/**
*
*
* @generated
*/
public NotificationChain basicSetRange(FiniteIntRange newRange, NotificationChain msgs) {
FiniteIntRange oldRange = range;
range = newRange;
if (eNotificationRequired()) {
ENotificationImpl notification = new ENotificationImpl(this, Notification.SET,
FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE, oldRange, newRange);
if (msgs == null)
msgs = notification;
else
msgs.add(notification);
}
return msgs;
}
/**
*
*
* @generated
*/
@Override
public void setRange(FiniteIntRange newRange) {
if (newRange != range) {
NotificationChain msgs = null;
if (range != null)
msgs = ((InternalEObject) range).eInverseRemove(this,
FiniteIntRangesPackage.FINITE_INT_RANGE__CONTAINER_FINITE_INT_RANGE_CONSTANT,
FiniteIntRange.class, msgs);
if (newRange != null)
msgs = ((InternalEObject) newRange).eInverseAdd(this,
FiniteIntRangesPackage.FINITE_INT_RANGE__CONTAINER_FINITE_INT_RANGE_CONSTANT,
FiniteIntRange.class, msgs);
msgs = basicSetRange(newRange, msgs);
if (msgs != null)
msgs.dispatch();
} else if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET,
FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE, newRange, newRange));
}
/**
*
*
* @generated
*/
@Override
public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
switch (featureID) {
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE:
if (range != null)
msgs = ((InternalEObject) range).eInverseRemove(this, EOPPOSITE_FEATURE_BASE
- FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE, null, msgs);
return basicSetRange((FiniteIntRange) otherEnd, msgs);
}
return super.eInverseAdd(otherEnd, featureID, msgs);
}
/**
*
*
* @generated
*/
@Override
public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
switch (featureID) {
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE:
return basicSetRange(null, msgs);
}
return super.eInverseRemove(otherEnd, featureID, msgs);
}
/**
*
*
* @generated
*/
@Override
public Object eGet(int featureID, boolean resolve, boolean coreType) {
switch (featureID) {
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__VALUE:
return getValue();
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE:
return getRange();
}
return super.eGet(featureID, resolve, coreType);
}
/**
*
*
* @generated
*/
@Override
public void eSet(int featureID, Object newValue) {
switch (featureID) {
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__VALUE:
setValue((Integer) newValue);
return;
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE:
setRange((FiniteIntRange) newValue);
return;
}
super.eSet(featureID, newValue);
}
/**
*
*
* @generated
*/
@Override
public void eUnset(int featureID) {
switch (featureID) {
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__VALUE:
setValue(VALUE_EDEFAULT);
return;
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE:
setRange((FiniteIntRange) null);
return;
}
super.eUnset(featureID);
}
/**
*
*
* @generated
*/
@Override
public boolean eIsSet(int featureID) {
switch (featureID) {
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__VALUE:
return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value);
case FiniteIntRangesPackage.FINITE_INT_RANGE_CONSTANT__RANGE:
return range != null;
}
return super.eIsSet(featureID);
}
/**
*
*
* @generated
*/
@Override
public String toString() {
if (eIsProxy())
return super.toString();
StringBuffer result = new StringBuffer(super.toString());
result.append(" (value: ");
result.append(value);
result.append(')');
return result.toString();
}
//TODO this element (sort) seems not to have any ToPNML associated tag.
//This is maybe a mistake ?
//TODO this element (output) seems not to have any ToPNML associated tag.
//This is maybe a mistake ?
//TODO this element (input) seems not to have any ToPNML associated tag.
//This is maybe a mistake ?
/**
* Return the string containing the pnml output
*/
@Override
public String toPNML() {
//id 0
//idref 0
//attributes 1
//sons 2
Boolean prettyPrintStatus = ModelRepository.getInstance().isPrettyPrintActive();
String retline = "";
String headline = "";
PrettyPrintData prpd = null;
if (prettyPrintStatus) {
retline = "\n";
prpd = ModelRepository.getInstance().getPrettyPrintData();
headline = prpd.getCurrentLineHeader();
}
StringBuilder sb = new StringBuilder();
sb.append(headline);
sb.append("");
sb.append(retline);
//sons, follow processing
if (getSubterm() != null) {
java.util.List items = getSubterm();
for (Iterator iterator = items.iterator(); iterator.hasNext();) {
Term item = iterator.next();
sb.append(headline);
sb.append("<");
sb.append("subterm");
sb.append(">");
sb.append(item.toPNML());
sb.append(headline);
sb.append("");
haveSons = true;
}
}
if (getRange() != null) {
String top = getRange().toPNML();
if (!top.equals("")) {
sb.append(top);
haveSons = true;
}
}
/****/
if (prettyPrintStatus) {
headline = prpd.decreaseLineHeaderLevel();
}
if (haveSons) {
sb.append(headline);
sb.append("");
sb.append(retline);
} else {
sb.delete(sb.lastIndexOf(">"), sb.length());
sb.append("/>");
}
return sb.toString();
}
@Override
@SuppressWarnings("unchecked")
public void fromPNML(OMElement locRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException,
VoidRepositoryException {
//0
//0
//1
//2
@SuppressWarnings("unused")
FiniteIntRangesFactory fact = FiniteIntRangesFactory.eINSTANCE;
//processing id
//processing idref
//processing attributes
if (locRoot.getAttributeValue(new QName("value")) != null) {
try {
this.setValue(new Integer(locRoot.getAttributeValue(new QName("value"))));
} catch (Exception e) {
throw new fr.lip6.move.pnml.framework.utils.exception.InnerBuildException(e);
}
}
//processing sons
for (Iterator iterator = locRoot.getChildElements(); iterator.hasNext();) {
@SuppressWarnings("unused")
OMElement type = (OMElement) iterator.next();
if (type.getLocalName().equals("subterm")) {
Term item = null;
for (Iterator iterator2 = type.getChildElements(); iterator2.hasNext();) {
OMElement subType = (OMElement) iterator2.next();
if (subType.getLocalName().equals("finiteintrangeconstant")) {
item = new FiniteIntRangesFactoryImpl().createFiniteIntRangeConstant();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("lessthan")) {
item = new FiniteIntRangesFactoryImpl().createLessThan();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("greaterthan")) {
item = new FiniteIntRangesFactoryImpl().createGreaterThan();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("lessthanorequal")) {
item = new FiniteIntRangesFactoryImpl().createLessThanOrEqual();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("greaterthanorequal")) {
item = new FiniteIntRangesFactoryImpl().createGreaterThanOrEqual();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("equality")) {
item = new BooleansFactoryImpl().createEquality();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("inequality")) {
item = new BooleansFactoryImpl().createInequality();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("booleanconstantt")) {
item = new BooleansFactoryImpl().createBooleanConstant();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("or")) {
item = new BooleansFactoryImpl().createOr();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("and")) {
item = new BooleansFactoryImpl().createAnd();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("imply")) {
item = new BooleansFactoryImpl().createImply();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("not")) {
item = new BooleansFactoryImpl().createNot();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("successor")) {
item = new CyclicEnumerationsFactoryImpl().createSuccessor();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("predecessor")) {
item = new CyclicEnumerationsFactoryImpl().createPredecessor();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("dotconstant")) {
item = new DotsFactoryImpl().createDotConstant();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("numberconstant")) {
item = new IntegersFactoryImpl().createNumberConstant();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("addition")) {
item = new IntegersFactoryImpl().createAddition();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("subtraction")) {
item = new IntegersFactoryImpl().createSubtraction();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("mult")) {
item = new IntegersFactoryImpl().createMultiplication();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("div")) {
item = new IntegersFactoryImpl().createDivision();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("mod")) {
item = new IntegersFactoryImpl().createModulo();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("gt")) {
item = new IntegersFactoryImpl().createGreaterThan();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("geq")) {
item = new IntegersFactoryImpl().createGreaterThanOrEqual();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("lt")) {
item = new IntegersFactoryImpl().createLessThan();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("leq")) {
item = new IntegersFactoryImpl().createLessThanOrEqual();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("cardinality")) {
item = new MultisetsFactoryImpl().createCardinality();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("contains")) {
item = new MultisetsFactoryImpl().createContains();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("cardinalityof")) {
item = new MultisetsFactoryImpl().createCardinalityOf();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("add")) {
item = new MultisetsFactoryImpl().createAdd();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("all")) {
item = new MultisetsFactoryImpl().createAll();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("empty")) {
item = new MultisetsFactoryImpl().createEmpty();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("numberof")) {
item = new MultisetsFactoryImpl().createNumberOf();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("subtract")) {
item = new MultisetsFactoryImpl().createSubtract();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("scalarproduct")) {
item = new MultisetsFactoryImpl().createScalarProduct();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("gtp")) {
item = new PartitionsFactoryImpl().createGreaterThan();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("partitionelementof")) {
item = new PartitionsFactoryImpl().createPartitionElementOf();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("ltp")) {
item = new PartitionsFactoryImpl().createLessThan();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("variable")) {
item = new TermsFactoryImpl().createVariable();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("tuple")) {
item = new TermsFactoryImpl().createTuple();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
if (subType.getLocalName().equals("useroperator")) {
item = new TermsFactoryImpl().createUserOperator();
item.fromPNML(subType, idr);
item.setContainerOperator(this);
continue;
}
}
}
//tag!=null
if (type.getLocalName().equals("finiteintrange")) {
FiniteIntRange item;
item = FiniteIntRangesFactory.eINSTANCE.createFiniteIntRange();
item.fromPNML(type, idr);
item.setContainerFiniteIntRangeConstant(this);
continue;
}//end if
}
}
//TODO this element (sort) seems not to have any ToPNML associated tag.
//This is maybe a mistake ?
//TODO this element (output) seems not to have any ToPNML associated tag.
//This is maybe a mistake ?
//TODO this element (input) seems not to have any ToPNML associated tag.
//This is maybe a mistake ?
/**
* Return the string containing the pnml output
*/
@Override
public void toPNML(FileChannel fc) {
//id 0
//idref 0
//attributes 1
//sons 2
final int bufferSizeKB = 8;
final int bufferSize = bufferSizeKB * 1024;
final ByteBuffer bytebuf = ByteBuffer.allocateDirect(bufferSize);
final String charsetEncoding = PNMLEncoding.ISO_8859_1.getName();
Boolean prettyPrintStatus = ModelRepository.getInstance().isPrettyPrintActive();
String retline = "";
String headline = "";
PrettyPrintData prpd = null;
if (prettyPrintStatus) {
retline = "\n";
prpd = ModelRepository.getInstance().getPrettyPrintData();
headline = prpd.getCurrentLineHeader();
}
StringBuilder sb = new StringBuilder();
sb.append(headline);
sb.append("");
sb.append(retline);
//sons, follow processing
if (getSubterm() != null) {
try {
writeIntoStream(bytebuf, fc, sb.toString().getBytes(Charset.forName(charsetEncoding)));
} catch (IOException io) {
io.printStackTrace();
// fail fast
return;
}
sb.delete(0, sb.length());
java.util.List items = getSubterm();
for (Iterator iterator = items.iterator(); iterator.hasNext();) {
Term item = iterator.next();
sb.append(headline);
sb.append("<");
sb.append("subterm");
sb.append(">");
try {
writeIntoStream(bytebuf, fc, sb.toString().getBytes(Charset.forName(charsetEncoding)));
} catch (IOException io) {
io.printStackTrace();
// fail fast
return;
}
sb.delete(0, sb.length());
item.toPNML(fc);
sb.append(headline);
sb.append("");
haveSons = true;
}
}
if (getRange() != null) {
String top = getRange().toPNML();
if (!top.equals("")) {
sb.append(top);
haveSons = true;
}
}
/****/
if (prettyPrintStatus) {
headline = prpd.decreaseLineHeaderLevel();
}
sb.append(headline);
sb.append("");
sb.append(retline);
try {
writeIntoStream(bytebuf, fc, sb.toString().getBytes(Charset.forName(charsetEncoding)));
} catch (IOException io) {
io.printStackTrace();
// fail fast
return;
}
sb = null;
}
/**
* Writes buffer of a given max size into file channel.
*/
private static final void writeIntoStream(final ByteBuffer bytebuf, final FileChannel fc, final byte[] contents)
throws IOException {
final int chopSize = 6 * 1024;
if (contents.length >= bytebuf.capacity()) {
List chops = PnmlExport.chopBytes(contents, chopSize);
for (byte[] buf : chops) {
bytebuf.put(buf);
bytebuf.flip();
fc.write(bytebuf);
bytebuf.clear();
}
} else {
bytebuf.put(contents);
bytebuf.flip();
fc.write(bytebuf);
bytebuf.clear();
}
}
/**
* -
*/
@Override
public boolean validateOCL(DiagnosticChain diagnostics) {
TermsValidator val = new TermsValidator();
boolean retour = true;
if (getSubterm() != null) {
java.util.List items = getSubterm();
for (Iterator iterator = items.iterator(); iterator.hasNext();) {
Term item = iterator.next();
retour &= item.validateOCL(diagnostics);
}
}
if (getRange() != null) {
retour &= getRange().validateOCL(diagnostics);
}
retour &= val.validate(this, diagnostics, null);
return retour;
}
} //FiniteIntRangeConstantImpl
© 2015 - 2025 Weber Informatics LLC | Privacy Policy