Package wyvern.tools.types.extensions

Examples of wyvern.tools.types.extensions.Intersection

75
76
77
78
79
80
81
82
                  meth.getReturnType()));
    }
    if (methTypes.size() == 1)
      return methTypes.get(0);
    else if (methTypes.size() > 1)
      return new Intersection(methTypes);
    return null;
  }
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
      argument = ((Arrow) fnType).getArgument();
    else if (fnType instanceof Intersection) {
      List<Type> args = fnType.getChildren().values().stream()
          .filter(tpe -> tpe instanceof Arrow).map(tpe->((Arrow)tpe).getArgument())
          .collect(Collectors.toList());
      argument = new Intersection(args);
    }
    if (this.argument != null)
      this.argument.typecheck(env, Optional.ofNullable(argument));
   
    if (!(fnType instanceof ApplyableType))
View Full Code Here
TOP

Related Classes of wyvern.tools.types.extensions.Intersection

  • wyvern.tools.typedAST.core.expressions.Application
  • wyvern.tools.typedAST.extensions.interop.java.typedAST.JavaMeth
    • 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.