fr.lip6.move.pnml.symmetricnet.multisets.impl.AllImpl 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.multisets.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 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.Bool;
import fr.lip6.move.pnml.symmetricnet.booleans.BooleansFactory;
import fr.lip6.move.pnml.symmetricnet.booleans.impl.BooleansFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.CyclicEnumeration;
import fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.CyclicEnumerationsFactory;
import fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.impl.CyclicEnumerationsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.dots.Dot;
import fr.lip6.move.pnml.symmetricnet.dots.DotsFactory;
import fr.lip6.move.pnml.symmetricnet.dots.impl.DotsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumeration;
import fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumerationsFactory;
import fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRange;
import fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangesFactory;
import fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangesFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.integers.HLInteger;
import fr.lip6.move.pnml.symmetricnet.integers.IntegersFactory;
import fr.lip6.move.pnml.symmetricnet.integers.Natural;
import fr.lip6.move.pnml.symmetricnet.integers.Positive;
import fr.lip6.move.pnml.symmetricnet.integers.impl.IntegersFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.multisets.All;
import fr.lip6.move.pnml.symmetricnet.multisets.MultisetsFactory;
import fr.lip6.move.pnml.symmetricnet.multisets.MultisetsPackage;
import fr.lip6.move.pnml.symmetricnet.partitions.impl.PartitionsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.terms.MultisetSort;
import fr.lip6.move.pnml.symmetricnet.terms.ProductSort;
import fr.lip6.move.pnml.symmetricnet.terms.Sort;
import fr.lip6.move.pnml.symmetricnet.terms.Term;
import fr.lip6.move.pnml.symmetricnet.terms.TermsFactory;
import fr.lip6.move.pnml.symmetricnet.terms.TermsPackage;
import fr.lip6.move.pnml.symmetricnet.terms.UserSort;
import fr.lip6.move.pnml.symmetricnet.terms.impl.MultisetOperatorImpl;
import fr.lip6.move.pnml.symmetricnet.terms.impl.TermsFactoryImpl;
import fr.lip6.move.pnml.symmetricnet.terms.util.TermsValidator;
/**
*
* An implementation of the model object 'All'.
*
*
* The following features are implemented:
*
* - {@link fr.lip6.move.pnml.symmetricnet.multisets.impl.AllImpl#getRefsort Refsort}
*
*
*
* @generated
*/
public class AllImpl extends MultisetOperatorImpl implements All {
/**
* The cached value of the '{@link #getRefsort() Refsort}' containment reference.
*
*
* @see #getRefsort()
* @generated
* @ordered
*/
protected Sort refsort;
/**
*
*
* @generated
*/
protected AllImpl() {
super();
}
/**
*
*
* @generated
*/
@Override
protected EClass eStaticClass() {
return MultisetsPackage.Literals.ALL;
}
/**
*
*
* @generated
*/
@Override
public Sort getRefsort() {
return refsort;
}
/**
*
*
* @generated
*/
public NotificationChain basicSetRefsort(Sort newRefsort, NotificationChain msgs) {
Sort oldRefsort = refsort;
refsort = newRefsort;
if (eNotificationRequired()) {
ENotificationImpl notification = new ENotificationImpl(this, Notification.SET,
MultisetsPackage.ALL__REFSORT, oldRefsort, newRefsort);
if (msgs == null)
msgs = notification;
else
msgs.add(notification);
}
return msgs;
}
/**
*
*
* @generated
*/
@Override
public void setRefsort(Sort newRefsort) {
if (newRefsort != refsort) {
NotificationChain msgs = null;
if (refsort != null)
msgs = ((InternalEObject) refsort).eInverseRemove(this, TermsPackage.SORT__CONTAINER_ALL, Sort.class,
msgs);
if (newRefsort != null)
msgs = ((InternalEObject) newRefsort).eInverseAdd(this, TermsPackage.SORT__CONTAINER_ALL, Sort.class,
msgs);
msgs = basicSetRefsort(newRefsort, msgs);
if (msgs != null)
msgs.dispatch();
} else if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET, MultisetsPackage.ALL__REFSORT, newRefsort, newRefsort));
}
/**
*
*
* @generated
*/
@Override
public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
switch (featureID) {
case MultisetsPackage.ALL__REFSORT:
if (refsort != null)
msgs = ((InternalEObject) refsort).eInverseRemove(this, EOPPOSITE_FEATURE_BASE
- MultisetsPackage.ALL__REFSORT, null, msgs);
return basicSetRefsort((Sort) otherEnd, msgs);
}
return super.eInverseAdd(otherEnd, featureID, msgs);
}
/**
*
*
* @generated
*/
@Override
public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
switch (featureID) {
case MultisetsPackage.ALL__REFSORT:
return basicSetRefsort(null, msgs);
}
return super.eInverseRemove(otherEnd, featureID, msgs);
}
/**
*
*
* @generated
*/
@Override
public Object eGet(int featureID, boolean resolve, boolean coreType) {
switch (featureID) {
case MultisetsPackage.ALL__REFSORT:
return getRefsort();
}
return super.eGet(featureID, resolve, coreType);
}
/**
*
*
* @generated
*/
@Override
public void eSet(int featureID, Object newValue) {
switch (featureID) {
case MultisetsPackage.ALL__REFSORT:
setRefsort((Sort) newValue);
return;
}
super.eSet(featureID, newValue);
}
/**
*
*
* @generated
*/
@Override
public void eUnset(int featureID) {
switch (featureID) {
case MultisetsPackage.ALL__REFSORT:
setRefsort((Sort) null);
return;
}
super.eUnset(featureID);
}
/**
*
*
* @generated
*/
@Override
public boolean eIsSet(int featureID) {
switch (featureID) {
case MultisetsPackage.ALL__REFSORT:
return refsort != null;
}
return super.eIsSet(featureID);
}
//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 0
//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 (getRefsort() != null) {
String top = getRefsort().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
//0
//2
@SuppressWarnings("unused")
MultisetsFactory fact = MultisetsFactory.eINSTANCE;
//processing id
//processing idref
//processing attributes
//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("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("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("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("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("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("null")) {
Bool item;
item = BooleansFactory.eINSTANCE.createBool();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("cyclicenumeration")) {
CyclicEnumeration item;
item = CyclicEnumerationsFactory.eINSTANCE.createCyclicEnumeration();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("dot")) {
Dot item;
item = DotsFactory.eINSTANCE.createDot();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("finiteenumeration")) {
FiniteEnumeration item;
item = FiniteEnumerationsFactory.eINSTANCE.createFiniteEnumeration();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("finiteintrange")) {
FiniteIntRange item;
item = FiniteIntRangesFactory.eINSTANCE.createFiniteIntRange();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("natural")) {
Natural item;
item = IntegersFactory.eINSTANCE.createNatural();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("positive")) {
Positive item;
item = IntegersFactory.eINSTANCE.createPositive();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("integer")) {
HLInteger item;
item = IntegersFactory.eINSTANCE.createHLInteger();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("multisetsort")) {
MultisetSort item;
item = TermsFactory.eINSTANCE.createMultisetSort();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("productsort")) {
ProductSort item;
item = TermsFactory.eINSTANCE.createProductSort();
item.fromPNML(type, idr);
item.setContainerAll(this);
continue;
}//end if
if (type.getLocalName().equals("usersort")) {
UserSort item;
item = TermsFactory.eINSTANCE.createUserSort();
item.fromPNML(type, idr);
item.setContainerAll(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 0
//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 (getRefsort() != null) {
String top = getRefsort().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 (getRefsort() != null) {
retour &= getRefsort().validateOCL(diagnostics);
}
retour &= val.validate(this, diagnostics, null);
return retour;
}
} //AllImpl
© 2015 - 2025 Weber Informatics LLC | Privacy Policy