Package wyil.lang

Examples of wyil.lang.Type$Real

3965
3966
3967
3968
3969
3970
3971
3972
3973
3974
3975
3976
3977
    }
  }

  public Nominal.EffectiveTuple expandAsEffectiveTuple(Nominal lhs)
      throws IOException, ResolveError {
    Type raw = lhs.raw();
    if (raw instanceof Type.EffectiveTuple) {
      Type nominal = expandOneLevel(lhs.nominal());
      if (!(nominal instanceof Type.EffectiveTuple)) {
        nominal = raw; // discard nominal information
      }
      return (Nominal.EffectiveTuple) Nominal.construct(nominal, raw);
    } else {
View Full Code Here
3980
3981
3982
3983
3984
3985
3986
3987
3988
3989
3990
  }

  public Nominal.Reference expandAsReference(Nominal lhs) throws IOException, ResolveError {
    Type.Reference raw = Type.effectiveReference(lhs.raw());
    if (raw != null) {
      Type nominal = expandOneLevel(lhs.nominal());
      if (!(nominal instanceof Type.Reference)) {
        nominal = raw; // discard nominal information
      }
      return (Nominal.Reference) Nominal.construct(nominal, raw);
    } else {
View Full Code Here
3994
3995
3996
3997
3998
3999
4000
4001
4002
4003
4004
  public Nominal.FunctionOrMethod expandAsFunctionOrMethod(Nominal lhs)
      throws IOException, ResolveError {
    Type.FunctionOrMethod raw = Type.effectiveFunctionOrMethod(lhs.raw());
    if (raw != null) {
      Type nominal = expandOneLevel(lhs.nominal());
      if (!(nominal instanceof Type.FunctionOrMethod)) {
        nominal = raw; // discard nominal information
      }
      return (Nominal.FunctionOrMethod) Nominal.construct(nominal, raw);
    } else {
View Full Code Here
4011
4012
4013
4014
4015
4016
4017
4018
4019
4020
4021
      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) {
        WhileyFile.Declaration decl = wf.declaration(nid.name());
        if (decl instanceof WhileyFile.Type) {
          WhileyFile.Type td = (WhileyFile.Type) decl;
View Full Code Here
2530
2531
2532
2533
2534
2535
2536
2537
2538
  @Test public void test_2498() { checkNotSubtype("[int]|int","any"); }
  @Test public void test_2499() { checkNotSubtype("[int]|int","[null]|null"); }
  @Test public void test_2500() { checkIsSubtype("[int]|int","[int]|int"); }

  private void checkIsSubtype(String from, String to) {
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertTrue(Type.isSubtype(ft,tt));
  }
View Full Code Here
2535
2536
2537
2538
2539
2540
2541
2542
2543
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertTrue(Type.isSubtype(ft,tt));
  }
  private void checkNotSubtype(String from, String to) {
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertFalse(Type.isSubtype(ft,tt));
  }
View Full Code Here
5806
5807
5808
5809
5810
5811
5812
5813
5814
  @Test public void test_5774() { checkNotSubtype("{int f2}|int","{null f2}|null"); }
  @Test public void test_5775() { checkNotSubtype("{int f2}|int","{int f1}|int"); }
  @Test public void test_5776() { checkIsSubtype("{int f2}|int","{int f2}|int"); }

  private void checkIsSubtype(String from, String to) {
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertTrue(Type.isSubtype(ft,tt));
  }
View Full Code Here
5811
5812
5813
5814
5815
5816
5817
5818
5819
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertTrue(Type.isSubtype(ft,tt));
  }
  private void checkNotSubtype(String from, String to) {
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertFalse(Type.isSubtype(ft,tt));
  }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
  public Type parse() {
    return parse(new HashSet<String>());
  }

  public Type parse(HashSet<String> typeVariables) {
    Type term = parseFunctionTerm(typeVariables);
    skipWhiteSpace();
    while (index < str.length()
        && (str.charAt(index) == '|')) {
      // union type
      match("|");
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
    }
    return term;
  }

  public Type parseFunctionTerm(HashSet<String> typeVariables) {
    Type t = parseNotTerm(typeVariables);
    if(index >= str.length()) { return t; }
    char lookahead = str.charAt(index);
    if(lookahead == '(') {
      // this is a tuple, not a bracketed type.
      match("(");
View Full Code Here
TOP

Related Classes of wyil.lang.Type$Real

  • org.chromium.sdk.CallbackSemaphore
  • org.chromium.sdk.JsDeclarativeVariable
  • org.chromium.sdk.JsEvaluateContext
  • org.chromium.sdk.JsObjectProperty
  • org.chromium.sdk.JsValue
  • org.chromium.sdk.RelayOk
  • org.eclipse.core.runtime.Status
  • org.eclipse.debug.core.DebugEvent
  • org.rascalmpl.interpreter.matching.LiteralPattern
  • org.rascalmpl.interpreter.staticErrors.NonWellformedType
    • 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.