Package org.overturetool.vdmj.definitions

Examples of org.overturetool.vdmj.definitions.SystemDefinition


        props.put("TYPE_CHECK_STATUS", "true");
        for (IAstNode node : model.getRootElementList())
        {
          if (node instanceof SystemDefinition)
          {
            SystemDefinition sd = (SystemDefinition) node;
            expandAndSave(props, "", sd, model);
            List<String> values = new Vector<String>();
            for (Definition def : sd.getDefinitions())
            {
              if (def instanceof ValueDefinition
                  || def instanceof LocalDefinition)
              {
                values.add(def.getName());
              }
            }

            save(props, sd.getName(), toCsvString(values));
            expandAndSave(props, "", sd, model);
          } else
          {
            List<String> values = new Vector<String>();
            for (Definition def : getDefinitions(node))
View Full Code Here

TOP

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

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.