use of org.osate.aadl2.properties.EvaluatedProperty in project osate2 by osate.
the class CachePropertyAssociationsSwitch method cacheConnectionPropertyAssociations.
protected void cacheConnectionPropertyAssociations(final ConnectionInstance conni) {
PropertyAssociation setPA;
PropertyExpression defaultvalue;
try {
/*
* propertyFilter contains all properties used by the system, so, we try to
* use the one associated to the connection instance and their reference and
* see if the user declares a specific value.
*/
for (Property prop : propertyFilter) {
setPA = null;
defaultvalue = prop.getDefaultValue();
for (final ConnectionReference connRef : conni.getConnectionReferences()) {
/*
* In the following piece of code, we check that a property
* is consistent all along the connection reference.
* For example, we check that the timing property (immediate, delayed)
* is consistent for each connection.
*/
if (connRef.acceptsProperty(prop)) {
/*
* Just look up the property. The property doesn't yet have
* a local association, so lookup will get the value from
* the declarative model. Property lookup process now
* corrects reference values to instance reference values.
*/
final PropertyAssociation propAssociation = scProps.retrieveSCProperty(conni, prop, connRef.getConnection());
final EvaluationContext ctx = new EvaluationContext(connRef, classifierCache, propAssociation);
PropertyEvaluationResult result = prop.evaluate(ctx, 0);
List<EvaluatedProperty> evaluated = result.getEvaluated();
if (!evaluated.isEmpty()) {
PropertyAssociationInstance newPA = InstanceFactory.eINSTANCE.createPropertyAssociationInstance();
newPA.setProperty(prop);
newPA.setPropertyAssociation(getDeclarativePA(result.getPa()));
fillPropertyValue(connRef, newPA, evaluated);
if (!newPA.getOwnedValues().isEmpty()) {
/*
* FIXME JD
*
* Try to look if the property references a component or not.
* This was done to fix the issue related to the Bound Bus analysis plugin
*/
for (Iterator<Element> content = EcoreUtil.getAllProperContents(newPA, false); content.hasNext(); ) {
Element elem = content.next();
if (elem instanceof ModalPropertyValue) {
ModalPropertyValue mpv = (ModalPropertyValue) elem;
if (mpv.getOwnedValue() instanceof ListValue) {
ListValue lv = (ListValue) mpv.getOwnedValue();
for (Element e : lv.getOwnedListElements()) {
if (e instanceof ReferenceValue) {
PropertyExpression irv = ((ReferenceValue) e).instantiate(conni.getContainingComponentInstance());
if (irv != null) {
EcoreUtil.replace(e, irv);
}
}
}
}
}
if (elem instanceof ReferenceValue) {
PropertyExpression irv = ((ReferenceValue) elem).instantiate(conni.getContainingComponentInstance());
if (irv != null) {
EcoreUtil.replace(elem, irv);
}
}
}
scProps.recordSCProperty(conni, prop, connRef.getConnection(), newPA);
if (setPA == null) {
setPA = newPA;
conni.getOwnedPropertyAssociations().add(newPA);
} else {
// check consistency
for (Mode m : conni.getSystemInstance().getSystemOperationModes()) {
PropertyExpression newVal = newPA.valueInMode(m);
PropertyExpression setVal = setPA.valueInMode(m);
if (!newVal.sameAs(setVal)) {
error(conni, "Value for property " + setPA.getProperty().getQualifiedName() + " not consistent along connection");
break;
}
}
}
}
}
}
}
checkIfCancelled();
if (cancelled()) {
break;
}
}
} catch (IllegalStateException e) {
// circular dependency
// xxx: this is a misleading place to put the marker
error(conni, e.getMessage());
System.out.println("IllegalStateException raised in cacheConnectionPropertyAssociations");
} catch (InvalidModelException e) {
error(conni, e.getMessage());
System.out.println("InvalidModelException raised in cacheConnectionPropertyAssociations");
}
}
use of org.osate.aadl2.properties.EvaluatedProperty in project osate2 by osate.
the class CachePropertyAssociationsSwitch method fillPropertyValue.
private void fillPropertyValue(InstanceObject io, PropertyAssociation pa, List<EvaluatedProperty> values) {
PropertyExpression lexp;
List<PropertyExpression> elems;
final Iterator<EvaluatedProperty> valueIter = values.iterator();
final EvaluatedProperty value = valueIter.next();
final List<MpvProxy> proxies = value.getProxies();
for (MpvProxy proxy : proxies) {
ModalPropertyValue newVal = Aadl2Factory.eINSTANCE.createModalPropertyValue();
List<SystemOperationMode> inSOMs = new ArrayList<SystemOperationMode>();
newVal.setOwnedValue(EcoreUtil.copy(proxy.getValue()));
// process list appends
while (valueIter.hasNext()) {
MpvProxy prx = valueIter.next().getProxies().get(0);
if (prx.isModal()) {
throw new InvalidModelException(pa, "Trying to append to a modal list value");
}
lexp = EcoreUtil.copy(prx.getValue());
elems = ((ListValue) lexp).getOwnedListElements();
((ListValue) newVal.getOwnedValue()).getOwnedListElements().addAll(0, elems);
}
boolean valueIsUsed = false;
if (!proxy.isModal()) {
valueIsUsed = true;
pa.getOwnedValues().add(newVal);
} else {
List<Mode> modes = proxy.getModes();
for (Mode mode : modes) {
if (mode instanceof SystemOperationMode) {
inSOMs.add((SystemOperationMode) mode);
} else {
if (io instanceof ConnectionReference) {
List<SystemOperationMode> conniModes = ((ConnectionInstance) io.eContainer()).getInSystemOperationModes();
if (conniModes.isEmpty()) {
conniModes = io.getSystemInstance().getSystemOperationModes();
}
List<ModeInstance> holderModes = ((ConnectionReference) io).getContext().getModeInstances();
for (ModeInstance mi : holderModes) {
if (mi.getMode() == mode) {
for (SystemOperationMode som : conniModes) {
if (som.getCurrentModes().contains(mi)) {
inSOMs.add(som);
}
}
break;
}
}
} else {
List<ModeInstance> holderModes = (io instanceof ComponentInstance) ? ((ComponentInstance) io).getModeInstances() : io.getContainingComponentInstance().getModeInstances();
for (ModeInstance mi : holderModes) {
if (mi.getMode() == mode) {
if (mode2som.containsKey(mi)) {
inSOMs.addAll(mode2som.get(mi));
break;
}
}
}
}
}
}
for (SystemOperationMode som : inSOMs) {
if (io.isActive(som)) {
newVal.getInModes().add(som);
}
}
if (!newVal.getInModes().isEmpty()) {
valueIsUsed = true;
pa.getOwnedValues().add(newVal);
}
}
if (valueIsUsed) {
// replace reference values in the context of the contained PA's owner
for (Iterator<Element> content = EcoreUtil.getAllProperContents(newVal, false); content.hasNext(); ) {
Element elem = content.next();
if (elem instanceof ReferenceValue) {
try {
PropertyExpression irv = ((ReferenceValue) elem).instantiate(io);
if (irv != null) {
EcoreUtil.replace(elem, irv);
}
} catch (InvalidModelException e) {
error(io, e.getMessage());
}
}
}
}
}
}
use of org.osate.aadl2.properties.EvaluatedProperty in project osate2 by osate.
the class OperationImpl method evaluate.
public EvaluatedProperty evaluate(EvaluationContext ctx, int depth) throws InvalidModelException {
if (ownedPropertyExpressions.size() < 1) {
throw new InvalidModelException(ctx.getInstanceObject(), "Property expression has no operands");
}
EvaluatedProperty left = ownedPropertyExpressions.get(0).evaluate(ctx, depth);
EvaluatedProperty right = null;
PropertyExpression arg1 = null;
PropertyExpression arg2 = null;
if (left.size() == 0) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument has no value");
}
if (left.size() != 1 || left.first().isModal()) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument to operation cannot be modal");
}
arg1 = left.first().getValue();
if (arg1 == null) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument missing");
}
// check for required arguments to operation
switch(op) {
case AND:
case OR:
if (ownedPropertyExpressions.size() < 2) {
throw new InvalidModelException(ctx.getInstanceObject(), "Second operand missing for binary operation");
}
if (ownedPropertyExpressions.size() > 2) {
throw new InvalidModelException(ctx.getInstanceObject(), "Too many operands in expression");
}
right = ownedPropertyExpressions.get(1).evaluate(ctx, depth);
if (right.size() != 1 || right.first().isModal()) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument to operation cannot be modal");
}
if (right.size() == 0) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument has no value");
}
arg2 = right.first().getValue();
if (arg2 == null) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument missing");
}
break;
default:
if (ownedPropertyExpressions.size() > 1) {
throw new InvalidModelException(ctx.getInstanceObject(), "Too many operands in expression");
}
break;
}
// check argument types
switch(op) {
case NOT:
if (!(arg1 instanceof BooleanLiteral)) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument to NOT does not evaluate to a boolean value");
}
// fall through!
case AND:
case OR:
if (!(arg2 instanceof BooleanLiteral)) {
throw new InvalidModelException(ctx.getInstanceObject(), "Second argument does not evaluate to a boolean value");
}
break;
default:
if (!(arg1 instanceof NumberValue)) {
throw new InvalidModelException(ctx.getInstanceObject(), "Argument does not evaluate to a numeric value");
}
break;
}
// calculate result
EvaluatedProperty result = null;
switch(op) {
case AND:
BooleanLiteral abv = Aadl2Factory.eINSTANCE.createBooleanLiteral();
abv.setValue(((BooleanLiteral) arg1).getValue() && ((BooleanLiteral) arg1).getValue());
result = new EvaluatedProperty(abv);
break;
case OR:
BooleanLiteral obv = Aadl2Factory.eINSTANCE.createBooleanLiteral();
obv.setValue(((BooleanLiteral) arg1).getValue() || ((BooleanLiteral) arg1).getValue());
result = new EvaluatedProperty(obv);
break;
case NOT:
BooleanLiteral nbv = Aadl2Factory.eINSTANCE.createBooleanLiteral();
nbv.setValue(!((BooleanLiteral) arg1).getValue());
result = new EvaluatedProperty(nbv);
break;
case PLUS:
result = left;
break;
case MINUS:
result = new EvaluatedProperty(((NumberValue) arg1).cloneAndInvert());
break;
default:
throw new AssertionError("Unexpected enum literal: " + getOp());
}
return result;
}
use of org.osate.aadl2.properties.EvaluatedProperty in project osate2 by osate.
the class ListValueImpl method evaluate.
/*
* (non-Javadoc)
*
* @see org.osate.aadl2.impl.PropertyExpressionImpl#evaluate(org.osate.aadl2.properties.EvaluationContext, int)
*/
public EvaluatedProperty evaluate(EvaluationContext ctx, int depth) {
// evaluate each list element
ListValue newVal = Aadl2Factory.eINSTANCE.createListValue();
int i = 0;
for (PropertyExpression elem : getOwnedListElements()) {
i += 1;
EvaluatedProperty elemVal = elem.evaluate(ctx, depth + 1);
if (elemVal.isEmpty()) {
throw new InvalidModelException(this, "Element " + i + " has no value");
}
if (elemVal.size() > 1) {
throw new InvalidModelException(this, "Element " + i + " has multiple values");
}
if (elemVal.first().isModal()) {
throw new InvalidModelException(this, "Element " + i + ": value is modal");
}
PropertyExpression exp = elemVal.first().getValue();
newVal.getOwnedListElements().add(exp);
}
return new EvaluatedProperty(newVal);
}
Aggregations