MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / AbstractExpr

Class AbstractExpr

src/main/java/wyil/lang/WyilFile.java:2649–2663  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2647 }
2648
2649 public abstract static class AbstractExpr extends AbstractItem implements Expr {
2650 public AbstractExpr(int opcode, Type type, Syntactic.Item... items) {
2651 super(opcode, ArrayUtils.append(type, items));
2652 }
2653
2654 @Override
2655 public Type getType() {
2656 return (Type) super.get(0);
2657 }
2658
2659 @Override
2660 public void setType(Type type) {
2661 operands[0] = type;
2662 }
2663 }
2664
2665 /**
2666 * Represents a cast expression of the form "<code>(T) e</code>" where

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected