use of org.osate.aadl2.impl.ListValueImpl in project VERDICT by ge-high-assurance.
the class Aadl2Vdm method translateComponentImplObjects.
// End of translateProcessorTypeObjects
/**
* Analyzing each component implementation
* @param comImpls
* @param m2
* @return
*/
public Model translateComponentImplObjects(List<ComponentImplementation> comImpls, Map<Property, String> componentPropertyToName, Map<Property, String> connPropertyToName, Model m2, HashSet<String> dataTypeDecl) {
Map<String, String> connectionToBusMap = new HashMap<>();
// creating an object for each implementation first as we will need it later
for (ComponentImplementation aSystemImpl : comImpls) {
// to pack the sysImpl as a VDM componentImpl
verdict.vdm.vdm_model.ComponentImpl packCompImpl = new verdict.vdm.vdm_model.ComponentImpl();
// setting "name" field of packCompImpl, will need later
packCompImpl.setName(aSystemImpl.getName());
// Note: Will skip "Nodebody" field for now
// ISSUE: No "id" field in Component implementations
packCompImpl.setId(aSystemImpl.getQualifiedName());
// adding object to "componentImpl" field of m2
m2.getComponentImpl().add(packCompImpl);
// update map (connection-name -> bus-Instance-Name)
for (PropertyAssociation propAssoc : aSystemImpl.getOwnedPropertyAssociations()) {
if (!(propAssoc.getProperty().getName().equalsIgnoreCase("Actual_Connection_Binding"))) {
System.out.println("System Implementation contains property " + propAssoc.getProperty().getName() + " which is not currently handled.");
continue;
}
if (propAssoc.getOwnedValues().size() != 1) {
throw new RuntimeException("Unexpected number of property owned values: " + propAssoc.getOwnedValues().size());
}
if (!(propAssoc.getOwnedValues().get(0).getOwnedValue() instanceof ListValueImpl)) {
throw new RuntimeException("Unexpected type of property owned value");
} else {
ListValueImpl listVal = (ListValueImpl) propAssoc.getOwnedValues().get(0).getOwnedValue();
if (listVal.getOwnedListElements().size() != 1) {
throw new RuntimeException("Unexpected number of list elements are associated with the property owned value");
} else if (!(listVal.getOwnedListElements().get(0) instanceof ReferenceValueImpl)) {
throw new RuntimeException("Unexpected number of list elements are associated with the property owned value");
} else {
ReferenceValueImpl refVal = (ReferenceValueImpl) listVal.getOwnedListElements().get(0);
ContainmentPathElement pathEle = refVal.getPath();
while (!(pathEle.getNamedElement() instanceof BusSubcomponent)) {
pathEle = pathEle.getPath();
}
String busInstanceName = pathEle.getNamedElement().getQualifiedName();
for (ContainedNamedElement connection : propAssoc.getAppliesTos()) {
// updating map (connection name -> bus name)
connectionToBusMap.put(connection.getPath().getNamedElement().getQualifiedName(), busInstanceName);
}
}
}
}
}
// Getting the reference of the object previously created and populating
for (ComponentImplementation aCompImpl : comImpls) {
// variable to refer to previously created object
verdict.vdm.vdm_model.ComponentImpl packCompImpl = new verdict.vdm.vdm_model.ComponentImpl();
// finding previously created object
for (verdict.vdm.vdm_model.ComponentImpl anImplObj : m2.getComponentImpl()) {
if (anImplObj.getId().equalsIgnoreCase(aCompImpl.getQualifiedName())) {
packCompImpl = anImplObj;
}
}
// setting "type" field of packCompImpl
for (verdict.vdm.vdm_model.ComponentType cType : m2.getComponentType()) {
if (aCompImpl.getType().getQualifiedName().equals(cType.getId())) {
packCompImpl.setType(cType);
}
}
// End of setting "type"
// a BlockImpl object to pack all info for packCompImpl.blockImpl
verdict.vdm.vdm_model.BlockImpl packBlockImpl = new verdict.vdm.vdm_model.BlockImpl();
// adding all subcomponents to "subcomponent" field of packBlockImpl
for (Subcomponent aSubComp : aCompImpl.getOwnedSubcomponents()) {
// to pack all information of a subcomponent
verdict.vdm.vdm_model.ComponentInstance packSubComp = new verdict.vdm.vdm_model.ComponentInstance();
// ISSUE: No "id" field in subcomponents
packSubComp.setId(aSubComp.getQualifiedName());
// setting "name" field of packSubComp
packSubComp.setName(aSubComp.getFullName());
// setting "specification" field of packSubComp
for (verdict.vdm.vdm_model.ComponentType cType : m2.getComponentType()) {
if (aSubComp.getComponentType().getName().equals(cType.getName())) {
packSubComp.setSpecification(cType);
}
}
// setting the "implementation" field of packSubComp
for (verdict.vdm.vdm_model.ComponentImpl cImpl : m2.getComponentImpl()) {
// if(aSubComp.getSubcomponentType().getName().equals(cImpl.getName())){
if (aSubComp.getSubcomponentType().getQualifiedName().equals(cImpl.getId())) {
packSubComp.setImplementation(cImpl);
}
}
// setting "attribute" field of packSubComp
// category of subComponent
String aSubCompCatName = aSubComp.getCategory().getName().toLowerCase();
// checking all collected properties in componentPropertyToName
for (Property prop : componentPropertyToName.keySet()) {
if (isApplicableToCat(prop, aSubCompCatName)) {
// create a GenericAttribute object to pack the property
verdict.vdm.vdm_data.GenericAttribute anAttribute = new verdict.vdm.vdm_data.GenericAttribute();
String value = "";
PropertyAcc propAcc = aSubComp.getPropertyValue(prop);
PropertyExpression defPropExpr = prop.getDefaultValue();
if (propAcc != null && !propAcc.getAssociations().isEmpty()) {
value = getStrRepofPropVal(aSubComp.getPropertyValue(prop));
} else if (defPropExpr != null) {
value = getStrRepofExpr(defPropExpr)[0];
}
if (!value.equals("")) {
// setting the "name" and "value" field of anAttribute
anAttribute.setName(componentPropertyToName.get(prop));
anAttribute.setValue(value);
// get the property type
PropertyType propType = prop.getPropertyType();
QName type = new QName("String");
if (propType instanceof AadlBooleanImpl) {
type = new QName("Bool");
} else if (propType instanceof AadlIntegerImpl) {
type = new QName("Int");
} else if (propType instanceof EnumerationTypeImpl) {
type = new QName("String");
} else {
if (!(propType instanceof AadlStringImpl)) {
type = new QName(propType.toString());
}
}
// parse propertyType fetched using prop.getOwnedPropertyType() and map it to "Bool", "Int", or "String"
anAttribute.setType(type);
// adding asAttribute to packSubComp
packSubComp.getAttribute().add(anAttribute);
}
} else {
// for outer if
continue;
}
}
// adding packSubComp to packBlockImpl
packBlockImpl.getSubcomponent().add(packSubComp);
packCompImpl.setBlockImpl(packBlockImpl);
}
// adding all connections to "connections" field of packBlockImpl
if (aCompImpl.getOwnedConnections() != null && !aCompImpl.getOwnedConnections().isEmpty()) {
for (Connection aConn : aCompImpl.getOwnedConnections()) {
// to pack all information of a connection
verdict.vdm.vdm_model.Connection packConn = new verdict.vdm.vdm_model.Connection();
// populate connectionKind
packConn.setConnectionKind(getConnectionKind(aConn));
// variables to unpack information from AADL object
String srcCompInstName = "";
String destCompInstName = "";
Context srcConnContext = aConn.getAllSourceContext();
Context destConnContext = aConn.getAllDestinationContext();
ConnectionEnd srcConnectionEnd = aConn.getAllSource();
ConnectionEnd destConnectionEnd = aConn.getAllDestination();
if (srcConnContext != null) {
srcCompInstName = srcConnContext.getName();
}
if (destConnContext != null) {
destCompInstName = destConnContext.getName();
}
String srcPortTypeName = "";
String destPortTypeName = "";
String srcPortName = srcConnectionEnd.getName();
String destPortName = destConnectionEnd.getName();
// variables to capture data type information
DataSubcomponentType srcDataSubCompType = null;
DataSubcomponentType destDataSubCompType = null;
if (srcConnectionEnd instanceof DataPort) {
srcPortTypeName = ((DataPort) srcConnectionEnd).isIn() ? (((DataPort) srcConnectionEnd).isOut() ? "inOut" : "in") : "out";
srcDataSubCompType = ((DataPort) srcConnectionEnd).getDataFeatureClassifier();
} else if (srcConnectionEnd instanceof EventDataPort) {
srcPortTypeName = ((EventDataPort) srcConnectionEnd).isIn() ? (((EventDataPort) srcConnectionEnd).isOut() ? "inOut" : "in") : "out";
srcDataSubCompType = ((EventDataPort) srcConnectionEnd).getDataFeatureClassifier();
} else if (srcConnectionEnd instanceof DataAccess) {
AccessType type = ((DataAccess) srcConnectionEnd).getKind();
if (type == AccessType.PROVIDES) {
srcPortTypeName = "providesDataAccess";
} else if (type == AccessType.REQUIRES) {
srcPortTypeName = "requiresDataAccess";
} else {
throw new RuntimeException("Unexpected access type: " + type);
}
srcDataSubCompType = ((DataAccess) srcConnectionEnd).getDataFeatureClassifier();
} else if (srcConnectionEnd instanceof DataSubcomponent) {
srcDataSubCompType = ((DataSubcomponent) srcConnectionEnd).getDataSubcomponentType();
srcPortTypeName = "data";
} else if (srcConnectionEnd instanceof BusAccess) {
// AccessType type = ((BusAccess) srcConnectionEnd).getKind();
// if(type == AccessType.PROVIDES) {
// srcPortTypeName = "providesBusAccess";
// } else if(type == AccessType.REQUIRES) {
// srcPortTypeName = "requiresBusAccess";
// } else {
// throw new RuntimeException("Unexpected access type: " + type);
// }
// BusFeatureClassifier busfeatureClassifier = ((BusAccess) srcConnectionEnd).getBusFeatureClassifier();
// if(busfeatureClassifier instanceof BusImplementation) {
// srcBusImpl = (BusImplementation)busfeatureClassifier;
// }
System.out.println("Warning: Unsupported AADL component element type: " + srcConnectionEnd);
continue;
} else if (srcConnectionEnd instanceof BusSubcomponent) {
// srcBusSubCompType = ((BusSubcomponent)srcConnectionEnd).getBusSubcomponentType();
// srcPortTypeName = "bus";
System.out.println("Warning: Unsupported AADL component element type: " + srcConnectionEnd);
continue;
} else if (srcConnectionEnd instanceof EventPort) {
srcPortTypeName = ((EventPort) srcConnectionEnd).isIn() ? (((EventPort) srcConnectionEnd).isOut() ? "inOut" : "in") : "out";
} else {
throw new RuntimeException("Unsupported AADL component element type: " + srcConnectionEnd + "encountered while processing connections");
}
if (destConnectionEnd instanceof DataPort) {
destPortTypeName = ((DataPort) destConnectionEnd).isIn() ? (((DataPort) destConnectionEnd).isOut() ? "inOut" : "in") : "out";
destDataSubCompType = ((DataPort) destConnectionEnd).getDataFeatureClassifier();
} else if (destConnectionEnd instanceof EventDataPort) {
destPortTypeName = ((EventDataPort) destConnectionEnd).isIn() ? (((EventDataPort) destConnectionEnd).isOut() ? "inOut" : "in") : "out";
destDataSubCompType = ((EventDataPort) destConnectionEnd).getDataFeatureClassifier();
} else if (destConnectionEnd instanceof DataAccess) {
AccessType type = ((DataAccess) destConnectionEnd).getKind();
if (type == AccessType.PROVIDES) {
destPortTypeName = "providesDataAccess";
} else if (type == AccessType.REQUIRES) {
destPortTypeName = "requiresDataAccess";
}
destDataSubCompType = ((DataAccess) destConnectionEnd).getDataFeatureClassifier();
} else if (destConnectionEnd instanceof DataSubcomponent) {
destDataSubCompType = ((DataSubcomponent) destConnectionEnd).getDataSubcomponentType();
destPortTypeName = "data";
} else if (destConnectionEnd instanceof BusAccess) {
// AccessType type = ((BusAccess) destConnectionEnd).getKind();
// if(type == AccessType.PROVIDES) {
// destPortTypeName = "providesBusAccess";
// } else if(type == AccessType.REQUIRES) {
// destPortTypeName = "requiresBusAccess";
// } else {
// throw new RuntimeException("Unexpected access type: " + type);
// }
// BusFeatureClassifier busfeatureClassifier = ((BusAccess) destConnectionEnd).getBusFeatureClassifier();
// if(busfeatureClassifier instanceof BusImplementation) {
// destBusImpl = (BusImplementation)busfeatureClassifier;
// }
System.out.println("Warning: Unsupported AADL component element type: " + destConnectionEnd);
continue;
} else if (destConnectionEnd instanceof BusSubcomponent) {
// destBusSubCompType = ((BusSubcomponent)destConnectionEnd).getBusSubcomponentType();
// destPortTypeName = "bus";
System.out.println("Warning: Unsupported AADL component element type: " + destConnectionEnd);
continue;
} else if (destConnectionEnd instanceof EventPort) {
destPortTypeName = ((EventPort) destConnectionEnd).isIn() ? (((EventPort) destConnectionEnd).isOut() ? "inOut" : "in") : "out";
} else {
throw new RuntimeException("Unsupported AADL component element type: " + destConnectionEnd + "encountered while processing connections");
}
// setting name
packConn.setName(aConn.getFullName());
packConn.setQualifiedName(aConn.getQualifiedName());
if (connectionToBusMap.containsKey(aConn.getQualifiedName())) {
packConn.setActualConnectionBinding(connectionToBusMap.get(aConn.getQualifiedName()));
}
// --- Populate packConn below ---
// to pack source
verdict.vdm.vdm_model.ConnectionEnd packSrcEnd = new verdict.vdm.vdm_model.ConnectionEnd();
// to pack "componentPort" of packSrcEnd
verdict.vdm.vdm_model.Port packSrcEndPort = new verdict.vdm.vdm_model.Port();
// } else
if (srcConnectionEnd instanceof EventPort) {
packSrcEndPort = createVdmConnectionEventPort(srcPortName, srcPortTypeName, srcConnectionEnd.getQualifiedName());
} else {
// if not a bus access port or bus implementation port or event port
packSrcEndPort = createVdmConnectionPort(srcPortName, srcPortTypeName, srcConnectionEnd.getQualifiedName(), srcDataSubCompType, m2, dataTypeDecl);
}
// If source port is independent of a component instance
if (srcCompInstName.equals("")) {
packSrcEnd.setComponentPort(packSrcEndPort);
} else {
// to pack "subcomponentPort" of packSrcEnd
verdict.vdm.vdm_model.CompInstancePort packSrcEndCompInstPort = new verdict.vdm.vdm_model.CompInstancePort();
// putting a reference to appropriate "subcomponent" from packBlockImpl in "subcomponent" of packSrcEndCompInstPort
for (verdict.vdm.vdm_model.ComponentInstance checkCompInst : packBlockImpl.getSubcomponent()) {
if (checkCompInst.getName().equals(srcCompInstName)) {
packSrcEndCompInstPort.setSubcomponent(checkCompInst);
break;
} else {
continue;
}
}
packSrcEndCompInstPort.setPort(packSrcEndPort);
// setting "subcomponentPort" of packSrcEnd
packSrcEnd.setSubcomponentPort(packSrcEndCompInstPort);
}
// adding to "source" of packConn
packConn.setSource(packSrcEnd);
// to pack destination
verdict.vdm.vdm_model.ConnectionEnd packDestEnd = new verdict.vdm.vdm_model.ConnectionEnd();
// to pack "componentPort" of packDestEnd
verdict.vdm.vdm_model.Port packDestEndPort = new verdict.vdm.vdm_model.Port();
// } else
if (destConnectionEnd instanceof EventPort) {
packDestEndPort = createVdmConnectionEventPort(destPortName, destPortTypeName, destConnectionEnd.getQualifiedName());
} else {
// if not a bus access port or bus implementation port or eventport
packDestEndPort = createVdmConnectionPort(destPortName, destPortTypeName, destConnectionEnd.getQualifiedName(), destDataSubCompType, m2, dataTypeDecl);
}
// If source port is independent of a component instance
if (destCompInstName.equals("")) {
packDestEnd.setComponentPort(packDestEndPort);
} else {
// to pack "subcomponentPort" of packSrcEnd
verdict.vdm.vdm_model.CompInstancePort packDestEndCompInstPort = new verdict.vdm.vdm_model.CompInstancePort();
// putting a reference to appropriate "subcomponent" from packBlockImpl in "subcomponent" of packSrcEndCompInstPort
for (verdict.vdm.vdm_model.ComponentInstance checkCompInst : packBlockImpl.getSubcomponent()) {
if (checkCompInst.getName().equals(destCompInstName)) {
packDestEndCompInstPort.setSubcomponent(checkCompInst);
break;
} else {
continue;
}
}
packDestEndCompInstPort.setPort(packDestEndPort);
// setting "subcomponentPort" of packDestEnd
packDestEnd.setSubcomponentPort(packDestEndCompInstPort);
}
// adding to "source" of packConn
packConn.setDestination(packDestEnd);
// adding connection properties from connProperty.ToName
for (Property prop : connPropertyToName.keySet()) {
// create a GenericAttribute object to pack the property
verdict.vdm.vdm_data.GenericAttribute aConnAttribute = new verdict.vdm.vdm_data.GenericAttribute();
String value = "";
PropertyAcc propAcc = aConn.getPropertyValue(prop);
PropertyExpression defPropExpr = prop.getDefaultValue();
if (propAcc != null && !propAcc.getAssociations().isEmpty()) {
value = getStrRepofPropVal(propAcc);
} else if (defPropExpr != null) {
value = getStrRepofExpr(defPropExpr)[0];
}
if (!value.equals("")) {
// setting the "name" and "value" field of anAttribute
aConnAttribute.setName(connPropertyToName.get(prop));
aConnAttribute.setValue(value);
PropertyType propType = prop.getPropertyType();
QName type = new QName("String");
if (propType instanceof AadlBooleanImpl) {
type = new QName("Bool");
} else if (propType instanceof AadlIntegerImpl) {
type = new QName("Int");
} else if (propType instanceof EnumerationTypeImpl) {
type = new QName("String");
} else {
if (!(propType instanceof AadlStringImpl)) {
type = new QName(propType.toString());
}
}
// parse propertyType fetched using prop.getOwnedPropertyType() and map it to "Bool", "Int", or "String"
aConnAttribute.setType(type);
// adding asAttribute to packSubComp
packConn.getAttribute().add(aConnAttribute);
}
}
if (aConn.isBidirectional()) {
packConn.setDirection(verdict.vdm.vdm_model.Direction.fromValue("bidirectional"));
// to pack reverse connection
verdict.vdm.vdm_model.Connection packReverseConn = new verdict.vdm.vdm_model.Connection();
packReverseConn.setName(packConn.getName() + "_reverse");
packReverseConn.setSource(packConn.getDestination());
packReverseConn.setDestination(packConn.getSource());
for (verdict.vdm.vdm_data.GenericAttribute anAttribute : packConn.getAttribute()) {
packReverseConn.getAttribute().add(anAttribute);
}
packReverseConn.setDirection(verdict.vdm.vdm_model.Direction.fromValue("bidirectional"));
// add packReverseConn to packBlockImpl
packBlockImpl.getConnection().add(packReverseConn);
} else {
packConn.setDirection(verdict.vdm.vdm_model.Direction.fromValue("unidirectional"));
}
// add packConn to packBlockImpl
packBlockImpl.getConnection().add(packConn);
packCompImpl.setBlockImpl(packBlockImpl);
}
}
// End of adding all connections
// setting "blackImpl" field of packCompImpl
// packCompImpl.setBlockImpl(packBlockImpl);
}
// return populated Model
return m2;
}
use of org.osate.aadl2.impl.ListValueImpl in project VERDICT by ge-high-assurance.
the class Agree2Vdm method updateVDMDatatypeUsingProperties.
/**
* @param vdm dataType,
* @param list of property associations
* this method checks if the property indicates if it is an enum definition
* and gets information from the properties to define the enum in the VDM
* *
*/
public boolean updateVDMDatatypeUsingProperties(verdict.vdm.vdm_data.DataType dtype, EList<PropertyAssociation> properties) {
if (properties.size() == 2) {
// check if the property specifies it is enum type
PropertyAssociation firstProperty = properties.get(0);
EList<ModalPropertyValue> firstPropertyValues = firstProperty.getOwnedValues();
if (firstPropertyValues.size() == 1) {
PropertyExpression ownedval = firstPropertyValues.get(0).getOwnedValue();
if (ownedval instanceof NamedValueImpl) {
NamedValue namedVal = (NamedValue) ownedval;
if (namedVal.getNamedValue() instanceof EnumerationLiteralImpl) {
EnumerationLiteral namedValEnumLit = (EnumerationLiteral) namedVal.getNamedValue();
if (namedValEnumLit.getName().equalsIgnoreCase("Enum")) {
EnumType vdmEnumType = new EnumType();
// Fetch the enum values which are defined as the next property
PropertyAssociation secondProperty = properties.get(1);
EList<ModalPropertyValue> secondPropertyValues = secondProperty.getOwnedValues();
if (firstPropertyValues.size() == 1) {
PropertyExpression secPropValue = secondPropertyValues.get(0).getOwnedValue();
// enum should have multiple values so check if a list of values are defined
if (secPropValue instanceof ListValueImpl) {
ListValueImpl listValueImpl = (ListValueImpl) secPropValue;
EList<PropertyExpression> listOfValues = listValueImpl.getOwnedListElements();
for (PropertyExpression enumvalue : listOfValues) {
if (enumvalue instanceof StringLiteralImpl) {
StringLiteralImpl stringEnumVal = (StringLiteralImpl) enumvalue;
vdmEnumType.getEnumValue().add(stringEnumVal.getValue());
} else {
System.out.println("Unexpected non-string value for data type of type enum.");
}
}
dtype.setEnumType(vdmEnumType);
return true;
} else {
System.out.println("The second property of the data definition is not of ListValueImp type");
}
} else {
System.out.println("Unresolved data property. The first property of the data definition has no values or multiple values.");
}
} else {
System.out.println("Unresolved data property value. Property's owned value's named value does not contain Enum");
}
} else {
System.out.println("Unresolved data property value. Property's owned value's named value is not EnumerationLiteralImpl type.");
}
} else {
System.out.println("Unresolved data property value. Property's owned value is not NamedValueImpl type.");
}
} else {
System.out.println("Unresolved data property with no values or multiple values.");
}
} else {
System.out.println("Unresolved data property. Data definition has 0 or more than 2 properties associated with it");
}
return false;
}
use of org.osate.aadl2.impl.ListValueImpl in project osate2 by osate.
the class ListValueImpl method sameAs.
public boolean sameAs(PropertyExpression pe) {
if (this == pe) {
return true;
}
if (pe == null || getClass() != pe.getClass()) {
return false;
}
ListValueImpl other = (ListValueImpl) pe;
if (ownedListElements == null && other.ownedListElements != null || ownedListElements != null && other.ownedListElements == null) {
return false;
}
if (ownedListElements == other.ownedListElements) {
return true;
}
if (ownedListElements.size() != other.ownedListElements.size()) {
return false;
}
for (int i = 0; i < ownedListElements.size(); ++i) {
PropertyExpression pe1 = ownedListElements.get(i);
PropertyExpression pe2 = other.ownedListElements.get(i);
if (pe1 == null ? pe2 != null : !pe1.sameAs(pe2)) {
return false;
}
}
return true;
}
use of org.osate.aadl2.impl.ListValueImpl in project VERDICT by ge-high-assurance.
the class Aadl2Vdm method getStrRepofExpr.
/**
* @author Paul Meng
* The calling function should know the size of the return array
*/
String[] getStrRepofExpr(PropertyExpression expr) {
String[] values = new String[4];
if (expr instanceof BooleanLiteralImpl) {
BooleanLiteralImpl bool = ((BooleanLiteralImpl) expr);
// values[0] = bool.getValue()?"1":"0";
values[0] = bool.getValue() ? "true" : "false";
} else if (expr instanceof IntegerLiteralImpl) {
IntegerLiteralImpl intVal = ((IntegerLiteralImpl) expr);
values[0] = String.valueOf((int) intVal.getValue());
} else if (expr instanceof NamedValueImpl) {
NamedValueImpl namedValue = ((NamedValueImpl) expr);
if (namedValue.getNamedValue() instanceof EnumerationLiteralImpl) {
EnumerationLiteralImpl enu = ((EnumerationLiteralImpl) namedValue.getNamedValue());
values[0] = enu.getName();
} else {
throw new RuntimeException("Unsupported property value: " + namedValue.getNamedValue());
}
} else if (expr instanceof ListValueImpl) {
ListValueImpl listValue = (ListValueImpl) expr;
if (listValue.getOwnedListElements().size() == 1) {
values = getStrRepofExpr(listValue.getOwnedListElements().get(0));
} else {
throw new RuntimeException("Unexpected!");
}
} else if (expr instanceof ReferenceValueImpl) {
// We only consider the value of expr is a bus expression here.
ReferenceValueImpl refValue = (ReferenceValueImpl) expr;
if (refValue.getContainmentPathElements().size() == 1) {
ContainmentPathElement element = refValue.getContainmentPathElements().get(0);
NamedElement namedElement = element.getNamedElement();
if (namedElement instanceof BusSubcomponent) {
ComponentImplementation impl = ((BusSubcomponent) namedElement).getContainingComponentImpl();
String compTypeName = impl.getTypeName();
values[0] = compTypeName;
values[1] = impl.getName();
values[2] = "";
values[3] = namedElement.getName();
} else {
throw new RuntimeException("Unexpected!");
}
} else if (refValue.getContainmentPathElements().size() == 2) {
// This is to deal with the expression "subcomponent . bus"
ContainmentPathElement elementZero = refValue.getContainmentPathElements().get(0);
ContainmentPathElement elementOne = refValue.getContainmentPathElements().get(1);
NamedElement namedElementZero = elementZero.getNamedElement();
NamedElement namedElementOne = elementOne.getNamedElement();
if (namedElementZero instanceof SystemSubcomponent) {
ComponentImplementation impl = ((SystemSubcomponent) namedElementZero).getComponentImplementation();
values[0] = impl.getTypeName();
values[1] = impl.getName();
values[2] = namedElementZero.getName();
values[3] = namedElementOne.getName();
} else {
throw new RuntimeException("Unexpected!");
}
} else {
throw new RuntimeException("Unexpected number of property values: " + refValue.getContainmentPathElements().size());
}
} else if (expr instanceof StringLiteralImpl) {
StringLiteralImpl strVal = ((StringLiteralImpl) expr);
values[0] = strVal.getValue();
} else {
throw new RuntimeException("Unsupported property value: " + expr);
}
return values;
}
use of org.osate.aadl2.impl.ListValueImpl in project VERDICT by ge-high-assurance.
the class Aadl2CsvTranslator method getStrRepofExpr.
/**
* The calling function should know the size of the return array
*/
String[] getStrRepofExpr(PropertyExpression expr) {
String[] values = new String[4];
if (expr instanceof BooleanLiteralImpl) {
BooleanLiteralImpl bool = ((BooleanLiteralImpl) expr);
values[0] = bool.getValue() ? "1" : "0";
} else if (expr instanceof IntegerLiteralImpl) {
IntegerLiteralImpl intVal = ((IntegerLiteralImpl) expr);
values[0] = String.valueOf((int) intVal.getValue());
} else if (expr instanceof NamedValueImpl) {
NamedValueImpl namedValue = ((NamedValueImpl) expr);
if (namedValue.getNamedValue() instanceof EnumerationLiteralImpl) {
EnumerationLiteralImpl enu = ((EnumerationLiteralImpl) namedValue.getNamedValue());
values[0] = enu.getName();
} else {
throw new RuntimeException("Unsupported property value: " + namedValue.getNamedValue());
}
} else if (expr instanceof ListValueImpl) {
ListValueImpl listValue = (ListValueImpl) expr;
if (listValue.getOwnedListElements().size() == 1) {
values = getStrRepofExpr(listValue.getOwnedListElements().get(0));
} else {
throw new RuntimeException("Unexpected!");
}
} else if (expr instanceof ReferenceValueImpl) {
// We only consider the value of expr is a bus expression here.
ReferenceValueImpl refValue = (ReferenceValueImpl) expr;
if (refValue.getContainmentPathElements().size() == 1) {
ContainmentPathElement element = refValue.getContainmentPathElements().get(0);
NamedElement namedElement = element.getNamedElement();
if (namedElement instanceof BusSubcomponent) {
ComponentImplementation impl = ((BusSubcomponent) namedElement).getContainingComponentImpl();
String compTypeName = impl.getTypeName();
values[0] = compTypeName;
values[1] = impl.getName();
values[2] = "";
values[3] = namedElement.getName();
} else {
throw new RuntimeException("Unexpected!");
}
} else if (refValue.getContainmentPathElements().size() == 2) {
// This is to deal with the expression "subcomponent . bus"
ContainmentPathElement elementZero = refValue.getContainmentPathElements().get(0);
ContainmentPathElement elementOne = refValue.getContainmentPathElements().get(1);
NamedElement namedElementZero = elementZero.getNamedElement();
NamedElement namedElementOne = elementOne.getNamedElement();
if (namedElementZero instanceof SystemSubcomponent) {
ComponentImplementation impl = ((SystemSubcomponent) namedElementZero).getComponentImplementation();
values[0] = impl.getTypeName();
values[1] = impl.getName();
values[2] = namedElementZero.getName();
values[3] = namedElementOne.getName();
} else {
throw new RuntimeException("Unexpected!");
}
} else {
throw new RuntimeException("Unexpected number of property values: " + refValue.getContainmentPathElements().size());
}
} else if (expr instanceof StringLiteralImpl) {
StringLiteralImpl strVal = ((StringLiteralImpl) expr);
values[0] = strVal.getValue();
} else {
throw new RuntimeException("Unsupported property value: " + expr);
}
return values;
}
Aggregations