Package wycc.lang

Examples of wycc.lang.NameID.module()

2679
2680
2681
2682
2683
2684
2685
2686
2687
2688
2689
      }

      throw new ResolveError(msg);
    } else {
      // now check protection modifier
      WhileyFile wf = builder.getSourceFile(candidateID.module());
      if (wf != null) {
        if (wf != context.file()) {
          for (WhileyFile.FunctionOrMethod d : wf.declarations(
              WhileyFile.FunctionOrMethod.class,
              candidateID.name())) {
View Full Code Here
2688
2689
2690
2691
2692
2693
2694
2695
2696
2697
2698
              WhileyFile.FunctionOrMethod.class,
              candidateID.name())) {
            if (d.parameters.equals(candidateType.params())) {
              if (!d.hasModifier(Modifier.PUBLIC)
                  && !d.hasModifier(Modifier.PROTECTED)) {
                String msg = candidateID.module() + "." + name
                    + parameterString(parameters)
                    + " is not visible";
                throw new ResolveError(msg);
              }
            }
View Full Code Here
2697
2698
2699
2700
2701
2702
2703
2704
2705
2706
2707
              }
            }
          }
        }
      } else {
        WyilFile m = builder.getModule(candidateID.module());
        WyilFile.FunctionOrMethodDeclaration d = m.functionOrMethod(
            candidateID.name(), candidateType.raw());
        if (!d.hasModifier(Modifier.PUBLIC)
            && !d.hasModifier(Modifier.PROTECTED)) {
          String msg = candidateID.module() + "." + name
View Full Code Here
2702
2703
2704
2705
2706
2707
2708
2709
2710
2711
2712
        WyilFile m = builder.getModule(candidateID.module());
        WyilFile.FunctionOrMethodDeclaration d = m.functionOrMethod(
            candidateID.name(), candidateType.raw());
        if (!d.hasModifier(Modifier.PUBLIC)
            && !d.hasModifier(Modifier.PROTECTED)) {
          String msg = candidateID.module() + "." + name
              + parameterString(parameters) + " is not visible";
          throw new ResolveError(msg);
        }
      }
    }
View Full Code Here
4008
4009
4010
4011
4012
4013
4014
4015
4016
4017
4018
  private Type expandOneLevel(Type type) throws IOException, ResolveError {
    if (type instanceof Type.Nominal) {
      Type.Nominal nt = (Type.Nominal) type;
      NameID nid = nt.name();
      Path.ID mid = nid.module();

      WhileyFile wf = builder.getSourceFile(mid);
      Type r = null;

      if (wf != null) {
View Full Code Here
499
500
501
502
503
504
505
506
507
508
509
    public void write(Automaton.State state) throws IOException {
      super.write(state);
      if (state.kind == Type.K_NOMINAL) {
        NameID name = (NameID) state.data;
        writeString(name.module().toString());
        writeString(name.name());
      } else if(state.kind == Type.K_RECORD) {
        Record.State fields = (Record.State) state.data;
        writer.write_bit(fields.isOpen);
        writer.write_uv(fields.size());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.