Ejemplo n.º 1
0
  @Override
  public void resolveTypes(int currentTypeInferenceId) throws CompilerException {
    super.resolveTypes(currentTypeInferenceId);

    for (TypeReference tr : type.getAttributeTypes())
      tr.resolve(currentTypeInferenceId); // FIXME: really ok?!

    for (Expression e : exprs) e.resolveTypes(currentTypeInferenceId);

    outputType = type.withKind(RefKind.VAL);
    outputType.resolve(currentTypeInferenceId);
  }