/**
* Returns the resolved type for the given object. This must be called after "inferTypes" step.
*/
public WollokType type(final EObject obj) {
TypedNode _node = this.getNode(obj);
return _node.getType();
}
public void operator_tripleLessThan(final EObject obj, final WollokType expected) {
TypedNode _node = this.getNode(obj);
_node.expectType(expected);
}
/** # 3 Third step. Asks each node individually for errors (type expectation violations). */
public Iterable<TypeExpectationFailedException> issues(final EObject obj) {
TypedNode _node = this.getNode(obj);
return _node.issues();
}
