Skip to content
Snippets Groups Projects
Commit 62daddd3 authored by René Schöne's avatar René Schöne Committed by Albert Zuendorf
Browse files

Added complete list of attributes for reference.

parent f830b650
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 758 additions and 192 deletions
attributes.json
+ 758
− 192
View file @ 62daddd3
{ {
"resolveProperty": { "created-at": "2018-04-05T15:41:05.225800",
"returntype": "Property", "found-attributes": {
"asMappingVariable": {
"": {
"eqs": [
"IlpVariable",
"IlpMappingVariable"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "IlpMappingVariable"
}
},
"asMetaParameterDesignator": {
"": {
"eqs": [ "eqs": [
"Component" "Designator",
] "MetaParameterDesignator"
],
"kind": "syn",
"returntype": "MetaParameterDesignator"
}
}, },
"isSoftwareDesignator": { "asPropertyResourceDesignator": {
"returntype": "boolean", "": {
"eqs": [
"Designator",
"PropertyResourceDesignator"
],
"kind": "syn", "kind": "syn",
"args": "", "returntype": "PropertyResourceDesignator"
}
},
"asSoftwareDesignator": {
"": {
"eqs": [ "eqs": [
"Designator" "Designator",
] "SoftwareDesignator"
],
"kind": "syn",
"returntype": "SoftwareDesignator"
}
}, },
"findPropertyByName": { "checkUsing": {
"returntype": "Property", "Assignment assignment": {
"eqs": [
"Clause"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "boolean"
}
},
"computeObjective": {
"": {
"eqs": [ "eqs": [
"SoftwareModel" "Assignment"
] ],
"kind": "syn",
"returntype": "double"
}
}, },
"asPropertyResourceDesignator": { "computeResourceType": {
"returntype": "PropertyResourceDesignator", "": {
"eqs": [
"HardwareModel"
],
"kind": "syn", "kind": "syn",
"args": "", "returntype": "ResourceType"
}
},
"containingAssignment": {
"": {
"eqs": [ "eqs": [
"Designator" "ComponentMapping",
] "Assignment.getComponentMapping(int i)"
],
"kind": "inh",
"returntype": "Assignment"
}
}, },
"isMetaParameterDesignator": { "containingClause": {
"returntype": "boolean", "": {
"eqs": [
"Expression",
"Clause.getDesignator()",
"Clause.getExpression()",
"BinaryExpression.getLeft()",
"BinaryExpression.getRight()",
"CurrentResourceValue.getValue()",
"MetaParameterAssignment.getLiteralExpression()"
],
"kind": "inh",
"returntype": "Clause"
}
},
"containingComponent": {
"": {
"eqs": [
"Implementation",
"Component.getImplementation()"
],
"kind": "inh",
"returntype": "Component"
}
},
"containingComponentMapping": {
"": {
"eqs": [
"Assignment",
"ComponentMapping.getAssignment()",
"Solution.getAssignment(int i)"
],
"kind": "inh",
"returntype": "ComponentMapping"
}
},
"containingImplementation": {
"": {
"eqs": [
"Clause",
"Implementation.getClause()",
"Request.getConstraint()"
],
"kind": "inh",
"returntype": "Implementation"
}
},
"containingResourceRequirement": {
"": {
"eqs": [
"Instance",
"ComponentRequirement.getInstance()",
"ResourceRequirement.getInstance()"
],
"kind": "inh",
"returntype": "ResourceRequirement"
}
},
"cpuType": {
"": {
"eqs": [
"HardwareModel"
],
"kind": "syn", "kind": "syn",
"args": "", "returntype": "ResourceType"
}
},
"description": {
"": {
"eqs": [ "eqs": [
"Designator" "Root"
] ],
"kind": "syn",
"returntype": "String"
}
}, },
"asSoftwareDesignator": { "diskType": {
"returntype": "SoftwareDesignator", "": {
"eqs": [
"HardwareModel"
],
"kind": "syn", "kind": "syn",
"args": "", "returntype": "ResourceType"
}
},
"evalAsDouble": {
"": {
"eqs": [ "eqs": [
"Designator" "Designator",
] "LiteralExpression",
"ParenthesizedExpression",
"AddExpression",
"SubExpression",
"MultExpression",
"DivExpression",
"PowerExpression",
"QualifiedNameDesignator",
"SoftwareDesignator",
"PropertyResourceDesignator",
"MetaParameterDesignator"
],
"kind": "syn",
"returntype": "double"
}
}, },
"isPropertyResourceDesignator": { "evalUsing": {
"returntype": "boolean", "Assignment assignment": {
"eqs": [
"Designator",
"LiteralExpression",
"ParenthesizedExpression",
"AddExpression",
"SubExpression",
"MultExpression",
"DivExpression",
"PowerExpression",
"QualifiedNameDesignator",
"SoftwareDesignator",
"PropertyResourceDesignator",
"MetaParameterDesignator"
],
"kind": "syn", "kind": "syn",
"args": "", "returntype": "double"
}
},
"findFirstProvidingClause": {
"Property property": {
"eqs": [ "eqs": [
"Designator" "Implementation"
] ],
"kind": "syn",
"returntype": "Clause"
}
}, },
"findImplementationByName": { "findImplementationByName": {
"returntype": "Implementation", "String name": {
"kind": "syn",
"args": "String name",
"eqs": [ "eqs": [
"Root" "Root"
] ],
"kind": "syn",
"returntype": "Implementation"
}
}, },
"getRequiringClauseValue": { "findInstanceByName": {
"returntype": "double", "String name": {
"eqs": [
"ResourceRequirement"
],
"kind": "syn", "kind": "syn",
"args": "ResourceType type, String propertyName, int index", "returntype": "Instance"
}
},
"findPropertyByName": {
"String name": {
"eqs": [ "eqs": [
"Implementation" "SoftwareModel"
] ],
"kind": "syn",
"returntype": "Property"
}
}, },
"findInstanceByName": { "findRequestByName": {
"returntype": "Instance", "String name": {
"eqs": [
"Root"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "Request"
}
},
"findResourceByName": {
"String name": {
"eqs": [ "eqs": [
"ResourceRequirement" "Resource"
] ],
"kind": "syn",
"returntype": "Resource"
}
}, },
"findResourceTypeByName": { "findResourceTypeByName": {
"returntype": "ResourceType", "String name": {
"kind": "syn",
"args": "String name",
"eqs": [ "eqs": [
"HardwareModel" "HardwareModel"
] ],
"kind": "syn",
"returntype": "ResourceType"
}
}, },
"findSubResourceByTypeName": { "findSubResourceByTypeName": {
"returntype": "Resource", "String name": {
"kind": "syn",
"args": "String name",
"eqs": [ "eqs": [
"Resource" "Resource"
] ],
"kind": "syn",
"returntype": "Resource"
}
}, },
"resolveMetaParameter": { "findSubResourceTypeByName": {
"returntype": "MetaParameter", "String name": {
"eqs": [
"ResourceType"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "ResourceType"
}
},
"getConstraintValueByName": {
"String name": {
"eqs": [ "eqs": [
"SoftwareModel" "Request"
] ],
"kind": "syn",
"returntype": "double"
}
}, },
"findResourceByName": { "getCurrentValueByProperty": {
"returntype": "Resource", "Property property": {
"eqs": [
"Resource"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "double"
}
},
"getCurrentValueByPropertyName": {
"String name": {
"eqs": [ "eqs": [
"Resource" "Resource"
] ],
"kind": "syn",
"returntype": "double"
}
}, },
"getCurrentValueByProperty": { "getILP": {
"returntype": "double", "": {
"eqs": [
"Root"
],
"kind": "syn", "kind": "syn",
"args": "Property property", "returntype": "ILP"
}
},
"getIlpName": {
"": {
"eqs": [ "eqs": [
"Resource" "Request"
] ],
"kind": "syn",
"returntype": "String"
}
}, },
"findSubResourceTypeByName": { "getMetaParameterExpression": {
"returntype": "ResourceType", "MetaParameter meta": {
"eqs": [
"Request"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "LiteralExpression"
}
},
"getName": {
"": {
"eqs": [ "eqs": [
"ResourceType" "Request",
] "Root.getRequest(int i)"
],
"kind": "inh",
"returntype": "Name"
}
}, },
"getRequiringClauseInstance": { "getRequiringClauseInstance": {
"returntype": "Instance", "ResourceType type, String propertyName, int index": {
"eqs": [
"Implementation"
],
"kind": "syn", "kind": "syn",
"args": "ResourceType type, String propertyName, int index", "returntype": "Instance"
}
},
"getRequiringClauseValue": {
"ResourceType type, String propertyName, int index": {
"eqs": [ "eqs": [
"Implementation" "Implementation"
] ],
"kind": "syn",
"returntype": "double"
}
}, },
"findFirstProvidingClause": { "getResource": {
"returntype": "Clause", "": {
"eqs": [
"Assignment"
],
"kind": "syn", "kind": "syn",
"args": "Property property", "returntype": "Resource"
}
},
"hasTimeout": {
"": {
"eqs": [ "eqs": [
"Implementation" "ILP",
] "TimedOutILP"
],
"kind": "syn",
"returntype": "boolean"
}
}, },
"findRequestByName": { "ilpTimeout": {
"returntype": "Request", "String reason": {
"eqs": [
"Root"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "TimedOutILP"
}
},
"inProvidingClause": {
"": {
"eqs": [
"Designator",
"Root.getSoftwareModel()",
"Clause.getExpression()",
"Clause.getDesignator()"
],
"kind": "inh",
"returntype": "boolean"
}
},
"inRequiringClause": {
"": {
"eqs": [
"Designator",
"Root.getSoftwareModel()",
"Clause.getExpression()",
"Clause.getDesignator()"
],
"kind": "inh",
"returntype": "boolean"
}
},
"info": {
"": {
"eqs": [ "eqs": [
"Root" "Root"
] ],
"kind": "syn",
"returntype": "String"
}
}, },
"getCurrentValueByPropertyName": { "isMappingVariable": {
"returntype": "double", "": {
"eqs": [
"IlpVariable",
"IlpMappingVariable"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "boolean"
}
},
"isMetaParameterDesignator": {
"": {
"eqs": [ "eqs": [
"Resource" "Designator",
] "MetaParameterDesignator"
],
"kind": "syn",
"returntype": "boolean"
}
}, },
"getConstraintValueByName": { "isPropertyResourceDesignator": {
"returntype": "double", "": {
"eqs": [
"Designator",
"PropertyResourceDesignator"
],
"kind": "syn", "kind": "syn",
"args": "String name", "returntype": "boolean"
}
},
"isProvidingClause": {
"": {
"eqs": [
"Clause"
],
"kind": "syn",
"returntype": "boolean"
}
},
"isRequiringClause": {
"": {
"eqs": [
"Clause"
],
"kind": "syn",
"returntype": "boolean"
}
},
"isSoftwareDesignator": {
"": {
"eqs": [
"Designator",
"SoftwareDesignator"
],
"kind": "syn",
"returntype": "boolean"
}
},
"isSoftwareValid": {
"": {
"eqs": [
"Assignment"
],
"kind": "syn",
"returntype": "boolean"
}
},
"isValid": {
"": {
"eqs": [
"Assignment"
],
"kind": "syn",
"returntype": "boolean"
}
},
"mappedAssignment": {
"Instance instance": {
"eqs": [
"Assignment"
],
"kind": "syn",
"returntype": "Assignment"
}
},
"mappedResource": {
"Instance instance": {
"eqs": [
"ResourceMapping"
],
"kind": "syn",
"returntype": "Resource"
}
},
"name": {
"": {
"eqs": [ "eqs": [
"Request" "Request"
] ],
"kind": "syn",
"returntype": "String"
}
}, },
"resolveQualifiedName": { "networkType": {
"returntype": "Designator", "": {
"eqs": [
"HardwareModel"
],
"kind": "syn", "kind": "syn",
"args": "QualifiedName qn", "returntype": "ResourceType"
}
},
"numComponents": {
"": {
"eqs": [ "eqs": [
"Implementation" "Root"
] ],
"kind": "syn",
"returntype": "int"
}
}, },
"root": { "numContainers": {
"returntype": "Root", "": {
"eqs": [
"Resource"
],
"kind": "syn",
"returntype": "int"
}
},
"numImplementations": {
"": {
"eqs": [
"Root"
],
"kind": "syn",
"returntype": "int"
}
},
"numResources": {
"": {
"eqs": [
"Resource"
],
"kind": "syn",
"returntype": "int"
}
},
"print": {
"MquatWriteSettings settings, int indentationLevel": {
"eqs": [
"ASTNode",
"ASTNode",
"List",
"Root",
"Name",
"QualifiedName",
"Instance",
"InstanceRef",
"HardwareModel",
"ResourceType",
"ResourceTypeRef",
"ResourceRequirement",
"Resource",
"CurrentResourceValue",
"SoftwareModel",
"Component",
"ComponentRef",
"ComponentRequirement",
"Implementation",
"Clause",
"QualifiedNameDesignator",
"SoftwareDesignator",
"PropertyResourceDesignator",
"MetaParameterDesignator",
"Property",
"PropertyRef",
"MetaParameter",
"MetaParameterRef",
"MetaParameterAssignment",
"Request",
"Objective",
"LiteralExpression",
"AddExpression",
"SubExpression",
"MultExpression",
"DivExpression",
"PowerExpression",
"ILP"
],
"kind": "syn",
"returntype": "MquatString"
}
},
"printIlp": {
"": {
"eqs": [
"IlpLeftHandSide"
],
"kind": "syn",
"returntype": "IlpString"
}
},
"ramType": {
"": {
"eqs": [
"HardwareModel"
],
"kind": "syn",
"returntype": "ResourceType"
}
},
"referringComponent": {
"": {
"eqs": [
"Instance",
"ComponentRequirement.getInstance(int i)",
"ResourceRequirement.getInstance(int i)"
],
"kind": "inh",
"returntype": "Component"
}
},
"referringResourceType": {
"": {
"eqs": [
"Instance",
"ComponentRequirement.getInstance()",
"ResourceRequirement.getInstance()"
],
"kind": "inh",
"returntype": "ResourceType"
}
},
"resolveMetaParameter": {
"String name": {
"eqs": [
"Request",
"SoftwareModel.getComponent()",
"Component.getImplementation()",
"Root.getRequest()"
],
"kind": "inh",
"returntype": "MetaParameter"
}
},
"resolveProperty": {
"String name": {
"eqs": [
"Component"
],
"kind": "syn", "kind": "syn",
"args": "", "returntype": "Property"
}
},
"resolvePropertyGeneral": {
"String name": {
"eqs": [
"Component",
"SoftwareModel.getComponent()"
],
"kind": "inh",
"returntype": "Property"
}
},
"resolveQualifiedName": {
"QualifiedName qn": {
"eqs": [
"Clause",
"Request.getConstraint()",
"Implementation.getClause()"
],
"kind": "inh",
"returntype": "Designator"
}
},
"root": {
"": {
"eqs": [ "eqs": [
"ASTNode",
"Root",
"ASTNode" "ASTNode"
] ],
"kind": "syn",
"returntype": "Root"
}
}, },
"asMetaParameterDesignator": { "simpleAssignment": {
"returntype": "MetaParameterDesignator", "Request request, Resource resource": {
"eqs": [
"Clause"
],
"kind": "syn", "kind": "syn",
"args": "", "returntype": "Assignment"
}
},
"simpleName": {
"": {
"eqs": [ "eqs": [
"Designator" "Designator",
] "QualifiedNameDesignator",
"SoftwareDesignator",
"PropertyResourceDesignator",
"MetaParameterDesignator"
],
"kind": "syn",
"returntype": "String"
} }
},
"timeoutReason": {
"": {
"eqs": [
"ILP",
"TimedOutILP"
],
"kind": "syn",
"returntype": "String"
}
},
"x": {
"": {
"eqs": [
"Clause"
],
"kind": "syn",
"returntype": "Set"
}
}
},
"warnings": []
} }
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment