Package org.overturetool.vdmj.definitions

Examples of org.overturetool.vdmj.definitions.InstanceVariableDefinition


      List<Definition> path)
  {
    List<String> result = new Vector<String>();
    if (def instanceof InstanceVariableDefinition && !path.contains(def))
    {
      InstanceVariableDefinition var = (InstanceVariableDefinition) def;
      String name = prefix + "." + var.getName();
      result.add(name);
      path.add(var);
      if (var.type instanceof ClassType)
      {
        result.addAll(getLogEnabledVariables(result, name, ((ClassType) var.type).classdef, path));
View Full Code Here


        return classDef.getName();

      }
      if (child instanceof InstanceVariableDefinition)
      {
        InstanceVariableDefinition insVarDef = (InstanceVariableDefinition) child;
        return insVarDef.getName();
      } else
      {
        System.out.println("VdmLogTreeLabelProvider getText");

      }
View Full Code Here

TOP

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

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.