Commit 8cf39641 authored by Alberto Debiasi's avatar Alberto Debiasi
Browse files

modified parameter type. From SimpleType to ComplexType

parent 2144ec16
......@@ -57,7 +57,7 @@ OutputPort:
'OUTPUT' optToken?='PORT'? id=PortId COLON type=ComplexType SEMICOLON;
Parameter:
'PARAMETER' id=ParameterId COLON ((parameters+=(SimpleType) ('*' parameters+=(SimpleType))*) "->")? type=(SimpleType)
'PARAMETER' id=ParameterId COLON ((parameters+=(ComplexType) ('*' parameters+=(ComplexType))*) "->")? type=(ComplexType)
SEMICOLON;
Operation:
......
......@@ -253,7 +253,7 @@ def boolean skipEntailment(VariableId variableId){
if (variable instanceof Port) {
return (variable as Port).complexType.getSimpleTypeFromComplexType;
} else if (variable instanceof Parameter) {
return (variable as Parameter).type;
return (variable as Parameter).complexType.getSimpleTypeFromComplexType;
} else if (variable instanceof Operation) {
return (variable as Operation).type;
} else
......@@ -273,7 +273,7 @@ def boolean skipEntailment(VariableId variableId){
return port.type;
}
def private SimpleType getType(Parameter parameter) {
def private ComplexType getComplexType(Parameter parameter) {
return parameter.type;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment