Exemplos de TCDefinition.markUsed em Java

Exemplo n.º 1

Arquivo: TCExplicitFunctionDefinition.java Projeto: nickbattle/vdmj

  public TCDefinitionList getTypeParamDefinitions() {
    TCDefinitionList defs = new TCDefinitionList();

    for (TCNameToken pname : typeParams) {
      TCDefinition p =
          new TCLocalDefinition(pname.getLocation(), pname, new TCParameterType(pname));

      p.markUsed();
      defs.add(p);
    }

    return defs;
  }