import org.simantics.scl.compiler.elaboration.expressions.Expression;
import org.simantics.scl.compiler.errors.Locations;
import org.simantics.scl.compiler.internal.parsing.Token;
+import org.simantics.scl.compiler.internal.parsing.declarations.DAnnotationAst;
import org.simantics.scl.compiler.internal.parsing.types.TypeAst;
public class ConstraintStatement extends Statement {
public Token name;
public TypeAst[] parameterTypes;
+ public String[] fieldNames;
+ public DAnnotationAst[] annotations;
- public ConstraintStatement(Token name, TypeAst[] parameterTypes) {
+ public ConstraintStatement(Token name, TypeAst[] parameterTypes, String[] fieldNames, DAnnotationAst[] annotations) {
this.name = name;
this.parameterTypes = parameterTypes;
+ this.fieldNames = fieldNames;
+ this.annotations = annotations;
}
@Override
}
@Override
- public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) {
+ public Expression toExpression(EnvironmentalContext context, BlockType blockType, Expression in) {
throw new UnsupportedOperationException();
}