Examples of Arrow

Examples of wyvern.tools.types.extensions.Arrow

295
296
297
298
299
300
301
302
303
304
305

    final ExtParser parseri = str -> {
      New newv = new New(new HashMap<>(), null);
      TypedAST dbody = new IntegerConstant(Integer.parseInt(str.getSrcString().trim()));
      newv.setBody(new DeclSequence(Arrays.asList(new DefDeclaration("getValue", new Arrow(Unit.getInstance(), Int.getInstance()), new ArrayList<>(), dbody, false))));
      return newv;
    };

    HasParser inner = new HasParser() {
      @Override
View Full Code Here

Examples of wyvern.tools.types.extensions.Arrow

374
375
376
377
378
379
380
381
382
383
384

    final ExtParser parseri = str -> {
      New newv = new New(new HashMap<>(), null);
      TypedAST dbody = new IntegerConstant(Integer.parseInt(str.getSrcString().trim()));
      newv.setBody(new DeclSequence(Arrays.asList(new DefDeclaration("getValue", new Arrow(Unit.getInstance(), Int.getInstance()), new ArrayList<>(), dbody, false))));
      return newv;
    };

    HasParser inner = new HasParser() {
      @Override
View Full Code Here

Examples of wyvern.tools.types.extensions.Arrow

52
53
54
55
56
57
58
    for (NameBinding bind : bindings) {
      extEnv = extEnv.extend(bind);
    }

    Type resultType = body.typecheck(extEnv, expected.map(exp -> ((Arrow)exp).getResult()));
    return new Arrow(argType, resultType);
  }
View Full Code Here

Examples of wyvern.tools.types.extensions.Arrow

73
74
75
76
77
78
79
    } else if (args.size() == 1) {
      argType = args.get(0).getType();
    } else {
      argType = new Tuple(args);
    }
    return new Arrow(argType, returnType);
  }
View Full Code Here

Examples of zelda.items.Arrow

31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
    switch (link.getDirection())
    {
      case UP:
        link.setAnimation(upAnimation);
                game.getScene().addNewGObject(new Arrow(game, link.getX() + 7, link.getY()));
        break;

      case DOWN:
        link.setAnimation(downAnimation);
                game.getScene().addNewGObject(new Arrow(game, link.getX() + 7, link.getY()));
        break;

      case LEFT:
        link.setAnimation(leftAnimation);
                game.getScene().addNewGObject(new Arrow(game, link.getX(), link.getY() + 9));
        break;

      case RIGHT:
        link.setAnimation(rightAnimation);
                game.getScene().addNewGObject(new Arrow(game, link.getX(), link.getY() + 9));
        break;
    }

  }
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.