Examples of org.overturetool.vdmj.lex.LexNameToken

    }


    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)
        // {
        // throw new
        // RemoteSimulationException("Unable to locate: \""+dotName(variableName)+"\" failed with: \""+varName+"\". Is this accessiable through the system while inilializing");


      public boolean reuiresCheck(StateDesignator target)
      {
        if (target instanceof IdentifierDesignator)
        {
          LexNameToken name = ((IdentifierDesignator) target).name;
          for (LexNameToken n : writeCheck)
          {
            if (name.module.equals(n.module)
                && name.name.equals(n.name))
            {

Examples of org.overturetool.vdmj.lex.LexNameToken

Related Classes of org.overturetool.vdmj.lex.LexNameToken