Skip to content
Snippets Groups Projects
attributes.json 15.59 KiB
{
  "created-at": "2018-04-05T15:41:05.225800", 
  "found-attributes": {
    "asMappingVariable": {
      "": {
        "eqs": [
          "IlpVariable", 
          "IlpMappingVariable"
        ], 
        "kind": "syn", 
        "returntype": "IlpMappingVariable"
      }
    }, 
    "asMetaParameterDesignator": {
      "": {
        "eqs": [
          "Designator", 
          "MetaParameterDesignator"
        ], 
        "kind": "syn", 
        "returntype": "MetaParameterDesignator"
      }
    }, 
    "asPropertyResourceDesignator": {
      "": {
        "eqs": [
          "Designator", 
          "PropertyResourceDesignator"
        ], 
        "kind": "syn", 
        "returntype": "PropertyResourceDesignator"
      }
    }, 
    "asSoftwareDesignator": {
      "": {
        "eqs": [
          "Designator", 
          "SoftwareDesignator"
        ], 
        "kind": "syn", 
        "returntype": "SoftwareDesignator"
      }
    }, 
    "checkUsing": {
      "Assignment assignment": {
        "eqs": [
          "Clause"
        ], 
        "kind": "syn", 
        "returntype": "boolean"
      }
    }, 
    "computeObjective": {
      "": {
        "eqs": [
          "Assignment"
        ], 
        "kind": "syn", 
        "returntype": "double"
      }
    }, 
    "computeResourceType": {
      "": {
        "eqs": [
          "HardwareModel"
        ], 
        "kind": "syn", 
        "returntype": "ResourceType"
      }
    }, 
    "containingAssignment": {
      "": {
        "eqs": [
          "ComponentMapping", 
          "Assignment.getComponentMapping(int i)"
        ], 
        "kind": "inh", 
        "returntype": "Assignment"
      }
    }, 
    "containingClause": {
      "": {
        "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", 
        "returntype": "ResourceType"
      }
    }, 
    "description": {
      "": {
        "eqs": [
          "Root"
        ], 
        "kind": "syn", 
        "returntype": "String"
      }
    }, 
    "diskType": {
      "": {
        "eqs": [
          "HardwareModel"
        ], 
        "kind": "syn", 
        "returntype": "ResourceType"
      }
    }, 
    "evalAsDouble": {
      "": {
        "eqs": [
          "Designator", 
          "LiteralExpression", 
          "ParenthesizedExpression", 
          "AddExpression", 
          "SubExpression", 
          "MultExpression", 
          "DivExpression", 
          "PowerExpression", 
          "QualifiedNameDesignator", 
          "SoftwareDesignator", 
          "PropertyResourceDesignator", 
          "MetaParameterDesignator"
        ], 
        "kind": "syn", 
        "returntype": "double"
      }
    }, 
    "evalUsing": {
      "Assignment assignment": {
        "eqs": [
          "Designator", 
          "LiteralExpression", 
          "ParenthesizedExpression", 
          "AddExpression", 
          "SubExpression", 
          "MultExpression", 
          "DivExpression", 
          "PowerExpression", 
          "QualifiedNameDesignator", 
          "SoftwareDesignator", 
          "PropertyResourceDesignator", 
          "MetaParameterDesignator"
        ], 
        "kind": "syn", 
        "returntype": "double"
      }
    }, 
    "findFirstProvidingClause": {
      "Property property": {
        "eqs": [
          "Implementation"
        ], 
        "kind": "syn", 
        "returntype": "Clause"
      }
    }, 
    "findImplementationByName": {
      "String name": {
        "eqs": [
          "Root"
        ], 
        "kind": "syn", 
        "returntype": "Implementation"
      }
    }, 
    "findInstanceByName": {
      "String name": {
        "eqs": [
          "ResourceRequirement"
        ], 
        "kind": "syn", 
        "returntype": "Instance"
      }
    }, 
    "findPropertyByName": {
      "String name": {
        "eqs": [
          "SoftwareModel"
        ], 
        "kind": "syn", 
        "returntype": "Property"
      }
    }, 
    "findRequestByName": {
      "String name": {
        "eqs": [
          "Root"
        ], 
        "kind": "syn", 
        "returntype": "Request"
      }
    }, 
    "findResourceByName": {
      "String name": {
        "eqs": [
          "Resource"
        ], 
        "kind": "syn", 
        "returntype": "Resource"
      }
    }, 
    "findResourceTypeByName": {
      "String name": {
        "eqs": [
          "HardwareModel"
        ], 
        "kind": "syn", 
        "returntype": "ResourceType"
      }
    }, 
    "findSubResourceByTypeName": {
      "String name": {
        "eqs": [
          "Resource"
        ], 
        "kind": "syn", 
        "returntype": "Resource"
      }
    }, 
    "findSubResourceTypeByName": {
      "String name": {
        "eqs": [
          "ResourceType"
        ], 
        "kind": "syn", 
        "returntype": "ResourceType"
      }
    }, 
    "getConstraintValueByName": {
      "String name": {
        "eqs": [
          "Request"
        ], 
        "kind": "syn", 
        "returntype": "double"
      }
    }, 
    "getCurrentValueByProperty": {
      "Property property": {
        "eqs": [
          "Resource"
        ], 
        "kind": "syn", 
        "returntype": "double"
      }
    }, 
    "getCurrentValueByPropertyName": {
      "String name": {
        "eqs": [
          "Resource"
        ], 
        "kind": "syn", 
        "returntype": "double"
      }
    }, 
    "getILP": {
      "": {
        "eqs": [
          "Root"
        ], 
        "kind": "syn", 
        "returntype": "ILP"
      }
    }, 
    "getIlpName": {
      "": {
        "eqs": [
          "Request"
        ], 
        "kind": "syn", 
        "returntype": "String"
      }
    }, 
    "getMetaParameterExpression": {
      "MetaParameter meta": {
        "eqs": [
          "Request"
        ], 
        "kind": "syn", 
        "returntype": "LiteralExpression"
      }
    }, 
    "getName": {
      "": {
        "eqs": [
          "Request", 
          "Root.getRequest(int i)"
        ], 
        "kind": "inh", 
        "returntype": "Name"
      }
    }, 
    "getRequiringClauseInstance": {
      "ResourceType type, String propertyName, int index": {
        "eqs": [
          "Implementation"
        ], 
        "kind": "syn", 
        "returntype": "Instance"
      }
    }, 
    "getRequiringClauseValue": {
      "ResourceType type, String propertyName, int index": {
        "eqs": [
          "Implementation"
        ], 
        "kind": "syn", 
        "returntype": "double"
      }
    }, 
    "getResource": {
      "": {
        "eqs": [
          "Assignment"
        ], 
        "kind": "syn", 
        "returntype": "Resource"
      }
    }, 
    "hasTimeout": {
      "": {
        "eqs": [
          "ILP", 
          "TimedOutILP"
        ], 
        "kind": "syn", 
        "returntype": "boolean"
      }
    }, 
    "ilpTimeout": {
      "String reason": {
        "eqs": [
          "Root"
        ], 
        "kind": "syn", 
        "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": [
          "Root"
        ], 
        "kind": "syn", 
        "returntype": "String"
      }
    }, 
    "isMappingVariable": {
      "": {
        "eqs": [
          "IlpVariable", 
          "IlpMappingVariable"
        ], 
        "kind": "syn", 
        "returntype": "boolean"
      }
    }, 
    "isMetaParameterDesignator": {
      "": {
        "eqs": [
          "Designator", 
          "MetaParameterDesignator"
        ], 
        "kind": "syn", 
        "returntype": "boolean"
      }
    }, 
    "isPropertyResourceDesignator": {
      "": {
        "eqs": [
          "Designator", 
          "PropertyResourceDesignator"
        ], 
        "kind": "syn", 
        "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": [
          "Request"
        ], 
        "kind": "syn", 
        "returntype": "String"
      }
    }, 
    "networkType": {
      "": {
        "eqs": [
          "HardwareModel"
        ], 
        "kind": "syn", 
        "returntype": "ResourceType"
      }
    }, 
    "numComponents": {
      "": {
        "eqs": [
          "Root"
        ], 
        "kind": "syn", 
        "returntype": "int"
      }
    }, 
    "numContainers": {
      "": {
        "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", 
        "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": [
          "ASTNode", 
          "Root", 
          "ASTNode"
        ], 
        "kind": "syn", 
        "returntype": "Root"
      }
    }, 
    "simpleAssignment": {
      "Request request, Resource resource": {
        "eqs": [
          "Clause"
        ], 
        "kind": "syn", 
        "returntype": "Assignment"
      }
    }, 
    "simpleName": {
      "": {
        "eqs": [
          "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": []
}