Package org.overturetool.vdmj.definitions

Examples of org.overturetool.vdmj.definitions.Definition

286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
    }

    String className = variableName.get(0);
    String varName = variableName.get(1);

    Definition s = classList.findName(new LexNameToken(className, varName, null), NameScope.NAMESANDSTATE);

    if (s == null)
    {
      throw new RemoteSimulationException("Unable to locate: \""
          + dotName(variableName)
          + "\" failed with: \""
          + varName
          + "\". Is this accessiable through the system while inilializing");
    }

    List<String> restOfQuantifier = variableName.subList(2, variableName.size());

    if (restOfQuantifier.size() == 0)
    {
      return s;
    } else
    {
      for (int i = 0; i < restOfQuantifier.size(); i++)
      {
        className = s.getType().getName();

        s = classList.findName(new LexNameToken(className, restOfQuantifier.get(i), null), NameScope.NAMESANDSTATE);

        // if(s== null)
        // {
View Full Code Here
230
231
232
233
234
235
236
237
238
239
240
          + qualifiedName);
    }

    try
    {
      Definition def = VDMClassHelper.findDefinitionInClass(SimulationManager.getInstance().controller.getInterpreter().getClasses(), qualifiedName);
      if (def == null)
      {
        return -2;
      } else
      {
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
      return;
    }

    for (Definition field : getFieldDefinitions(getTypeName(def), model))
    {
      Definition child = field;// getDefinition(getTypeName(field),
                    // model);
      if (child != null)
      {
        if (!expandedDefinitions.contains(child))
        {
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
  {
   
    if(parentElement instanceof TreeNodeContainer)
    {
      TreeNodeContainer parentNode = ((TreeNodeContainer) parentElement);
      Definition def = parentNode.data;
     
      if(addToVisited && visited.contains(def))
      {
        return new Object[] {};
      }
     
      if(addToVisited)
      {
        System.out.println("Visiting def: " + def.getName());
        visited.add(def);
      }
     
      if(!addToVisited && visitedCount.contains(def))
      {
        return new Object[] {};
      }
     
      if(!addToVisited)
      {
        System.out.println("VisitingCount def: " + def.getName());
        visitedCount.add(def);
      }
     
      if (def instanceof ClassDefinition)
      {
View Full Code Here
TOP

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

  • org.destecs.ide.debug.launching.ui.internal.VdmLogTreeContentProvider
  • org.destecs.ide.vdmmetadatabuilder.internal.builder.vdmmetadatabuilder.VdmMetadataBuilder
  • org.destecs.vdm.CoSimImpl
  • org.destecs.vdm.utility.VDMClassHelper
    • 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.