Package wycs.core

Examples of wycs.core.SemanticType$Var

242
243
244
245
246
247
248
249
250
251
252
253
254
  }

  private SemanticType propagate(Expr.IndexOf e,
      HashMap<String, SemanticType> environment,
      HashSet<String> generics, WyalFile.Context context) {
    SemanticType src_type = propagate(e.operand, environment, generics,
        context);
    SemanticType index_type = propagate(e.index, environment, generics,
        context);
    if(src_type instanceof SemanticType.EffectiveTuple) {
      SemanticType.EffectiveTuple tt = (SemanticType.EffectiveTuple) src_type;
      checkIsSubtype(SemanticType.Int, index_type, e.operand);
      if (!(e.index instanceof Expr.Constant)) {
View Full Code Here
268
269
270
271
272
273
274
275
276
277
278
279
  }

  private SemanticType propagate(Expr.Binary e,
      HashMap<String, SemanticType> environment,
      HashSet<String> generics, WyalFile.Context context) {
    SemanticType lhs_type = propagate(e.leftOperand,environment,generics,context);
    SemanticType rhs_type = propagate(e.rightOperand,environment,generics,context);

    if (e.op != Expr.Binary.Op.IN
        && SemanticType.And(lhs_type, rhs_type) instanceof SemanticType.Void) {
      // This is useful to sanity check that the operands make sense. For
      // example, the expression "1.0 == 1" does not yield an automaton
View Full Code Here
367
368
369
370
371
372
373
374
375
376
377
378
379
  }

  private SemanticType propagate(Expr.Ternary e,
      HashMap<String, SemanticType> environment,
      HashSet<String> generics, WyalFile.Context context) {
    SemanticType firstType = propagate(e.firstOperand,environment,generics,context);
    SemanticType secondType = propagate(e.secondOperand,environment,generics,context);
    SemanticType thirdType = propagate(e.thirdOperand,environment,generics,context);
    switch(e.op) {
    case UPDATE:
      checkIsSubtype(SemanticType.SetTupleAnyAny,firstType,e.firstOperand);
      // FIXME: should this handle map updates?
      checkIsSubtype(SemanticType.Int, secondType, e.secondOperand);
View Full Code Here
431
432
433
434
435
436
437
438
439
440
      HashMap<String, SemanticType> environment,
      HashSet<String> generics, WyalFile.Context context) {
    environment = new HashMap<String,SemanticType>(environment);

    propagate(e.pattern,environment,generics,context);
    SemanticType r = propagate(e.operand,environment,generics,context);
    checkIsSubtype(SemanticType.Bool,r,e.operand);

    return SemanticType.Bool;
  }
View Full Code Here
440
441
442
443
444
445
446
447
448
449
450
  }

  private void propagate(TypePattern pattern,
      HashMap<String, SemanticType> environment,
      HashSet<String> generics, WyalFile.Context context) {
    SemanticType type = builder.convert(pattern.toSyntacticType(),
        generics, context);

    if (pattern instanceof TypePattern.Tuple) {
      TypePattern.Tuple tt = (TypePattern.Tuple) pattern;
      for (TypePattern p : tt.elements) {
View Full Code Here
481
482
483
484
485
486
487
488
489
490
491
              + e.generics.size() + ", required "
              + fn_generics.length + ")", context.file()
              .filename(), e);
    }

    SemanticType argument = propagate(e.operand, environment, generics,
        context);
    HashMap<String, SemanticType> binding = new HashMap<String, SemanticType>();

    for (int i = 0; i != e.generics.size(); ++i) {
      SemanticType.Var gv = (SemanticType.Var) fn_generics[i];
View Full Code Here
504
505
506
507
508
509
510
511
512
513
514
   *
   * @param e
   * @return
   */
  public static SemanticType returnType(Expr e) {
    SemanticType type = e.attribute(TypeAttribute.class).type;
    if (e instanceof Expr.Variable || e instanceof Expr.Constant
        || e instanceof Expr.Quantifier) {
      return type;
    } else if(e instanceof Expr.Unary) {
      Expr.Unary ue = (Expr.Unary) e;
View Full Code Here
TOP

Related Classes of wycs.core.SemanticType$Var

  • com.caucho.server.cluster.ClusterServer
  • com.caucho.server.cluster.Server
  • com.google.javascript.rhino.JSDocInfo
  • com.google.javascript.rhino.Node
  • wyautl.rw.IterativeRewriter
  • wycs.builders.Wyal2WycsBuilder
  • wycs.transforms.TypePropagation
  • wycs.transforms.VerificationCheck
  • java.io.IOException
  • java.util.Random
    • 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.