Package org.overturetool.vdmj.definitions

Examples of org.overturetool.vdmj.definitions.ClassDefinition

14
15
16
17
18
19
20
21
22
23
24
25
    if (element instanceof TreeNodeContainer)
    {
      Object child = ((TreeNodeContainer) element).data;
      if (child instanceof ClassDefinition)
      {
        ClassDefinition classDef = (ClassDefinition) child;
        return classDef.getName();

      }
      if (child instanceof InstanceVariableDefinition)
      {
        InstanceVariableDefinition insVarDef = (InstanceVariableDefinition) child;
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
      instanceType = ((OptionalType) instanceType).type;
    }

    if (instanceType instanceof ClassType)
    {
      ClassDefinition internalClass = ((ClassType) instanceType).classdef;
      if (!(internalClass instanceof CPUClassDefinition || internalClass instanceof BUSClassDefinition))
      {
        result.addAll(getChildrenOf(internalClass));
      }
View Full Code Here
189
190
191
192
193
194
195
196
197
198
199
        instanceType = ((OptionalType) instanceType).type;
      }

      if (instanceType instanceof ClassType)
      {
        ClassDefinition internalClass = ((ClassType) instanceType).classdef;
        if (internalClass instanceof CPUClassDefinition
            || internalClass instanceof BUSClassDefinition)
        {
          return false;
        } else
View Full Code Here
TOP

Related Classes of org.overturetool.vdmj.definitions.ClassDefinition

  • org.destecs.ide.debug.launching.ui.internal.VdmLogTreeContentProvider
  • org.destecs.ide.debug.launching.ui.internal.VdmLogTreeLabelProvider
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.