1 package org.simantics.scl.compiler.internal.types.ast;
3 import org.simantics.scl.compiler.internal.types.TypeElaborationContext;
4 import org.simantics.scl.compiler.types.Type;
5 import org.simantics.scl.compiler.types.Types;
6 import org.simantics.scl.compiler.types.exceptions.SCLTypeParseException;
10 public class TFunctionAst extends TypeAst {
11 public final TypeAst domain;
12 public final TypeAst range;
14 public TFunctionAst(TypeAst domain, TypeAst range) {
20 public void toString(StringBuilder b) {
21 domain.toString(b, 2);
27 public Type toType(TypeElaborationContext context) throws SCLTypeParseException {
28 return Types.function(domain.toType(context), range.toType(context));
32 public int getPrecedence() {