import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
import org.simantics.scl.compiler.common.precedence.Associativity;
import org.simantics.scl.compiler.common.precedence.Precedence;
+import org.simantics.scl.compiler.compilation.CompilationContext;
import org.simantics.scl.compiler.constants.CharacterConstant;
import org.simantics.scl.compiler.constants.StringConstant;
import org.simantics.scl.compiler.elaboration.equation.EqBasic;
import org.simantics.scl.compiler.elaboration.expressions.block.CHRStatement;
import org.simantics.scl.compiler.elaboration.expressions.block.ConstraintStatement;
import org.simantics.scl.compiler.elaboration.expressions.block.GuardStatement;
+import org.simantics.scl.compiler.elaboration.expressions.block.IncludeStatement;
import org.simantics.scl.compiler.elaboration.expressions.block.LetStatement;
import org.simantics.scl.compiler.elaboration.expressions.block.RuleStatement;
import org.simantics.scl.compiler.elaboration.expressions.block.Statement;
import org.simantics.scl.compiler.elaboration.query.pre.QPreEquals;
import org.simantics.scl.compiler.elaboration.query.pre.QPreGuard;
import org.simantics.scl.compiler.errors.Locations;
+import org.simantics.scl.compiler.internal.header.ModuleHeader;
import org.simantics.scl.compiler.internal.parsing.Symbol;
import org.simantics.scl.compiler.internal.parsing.Token;
import org.simantics.scl.compiler.internal.parsing.declarations.ConstructorAst;
import org.simantics.scl.compiler.internal.parsing.declarations.DImportJavaAst;
import org.simantics.scl.compiler.internal.parsing.declarations.DInstanceAst;
import org.simantics.scl.compiler.internal.parsing.declarations.DMappingRelationAst;
-import org.simantics.scl.compiler.internal.parsing.declarations.DModuleHeader;
import org.simantics.scl.compiler.internal.parsing.declarations.DRelationAst;
import org.simantics.scl.compiler.internal.parsing.declarations.DRuleAst;
+import org.simantics.scl.compiler.internal.parsing.declarations.DRulesetAst;
import org.simantics.scl.compiler.internal.parsing.declarations.DTypeAst;
import org.simantics.scl.compiler.internal.parsing.declarations.DValueAst;
import org.simantics.scl.compiler.internal.parsing.declarations.DValueTypeAst;
private final SCLPostLexer lexer;
private SCLParserOptions options;
+ private CompilationContext context;
public SCLParserImpl(Reader reader) {
- lexer = new SCLPostLexer(reader);
+ this.lexer = new SCLPostLexer(reader);
+ }
+
+ public void setCompilationContext(CompilationContext context) {
+ this.context = context;
+ lexer.setCompilationContext(context);
}
public void setParserOptions(SCLParserOptions options) {
for(int i=0;i<length();i+=2) {
DeclarationAst declaration = (DeclarationAst)get(i);
if(declaration == null)
- throw new NullPointerException();
+ continue;
declarations.add(declaration);
}
return declarations;
FieldAssignment[] fields = new FieldAssignment[length()/2-1];
for(int i=0;i<fields.length;++i)
fields[i] = (FieldAssignment)get(2+i*2);
- return new DModuleHeader(fields);
+ context.header = ModuleHeader.process(context.errorLog, fields);
+ return null;
}
@Override
else
context = (ArrayList<TypeAst>)get(i++);
Token nameToken = (Token)get(i++);
- EVar name = new EVar(nameToken.location, nameToken.text);
+ EVar name = new EVar(nameToken);
ArrayList<TypeAst> parameters = new ArrayList<TypeAst>();
while(i < length()) {
Object symbol = get(i++);
else
context = (ArrayList<TypeAst>)get(i++);
Token nameToken = (Token)get(i++);
- EVar name = new EVar(nameToken.location, nameToken.text);
+ EVar name = new EVar(nameToken);
ArrayList<TypeAst> parameters = new ArrayList<TypeAst>();
while(i < length()) {
Object symbol = get(i++);
@Override
protected Object reduceVarId() {
- return new EVar(((Token)get(0)).text);
+ return new EVar((Token)get(0));
}
@Override
protected Object reduceEscapedSymbol() {
- return new EVar(((Token)get(0)).text);
+ return new EVar((Token)get(0));
}
@Override
EVar negation = null;
if(get(i) instanceof Token) {
Token token = (Token)get(i++);
- negation = new EVar(token.location, token.text);
+ negation = new EVar(token);
}
EBinary binary = new EBinary((Expression)get(i++), negation);
while(i < length()) {
TypeAst[] parameters = new TypeAst[length()-idPos-1];
for(int i=0;i<parameters.length;++i)
parameters[i] = (TypeAst)get(i+idPos+1);
- return new ConstructorAst(annotations, ((Token)get(idPos)).text, parameters, null);
+ return new ConstructorAst(annotations, (Token)get(idPos), parameters, null);
}
@Override
@Override
protected Object reduceBlank() {
- return new EVar("_");
+ return new EVar(((Token)get(0)).location, "_");
}
@Override
FieldAssignment[] fields = new FieldAssignment[length()/2-1];
for(int i=0;i<fields.length;++i)
fields[i] = (FieldAssignment)get(2+i*2);
- return new ERecord((Token)get(0), fields);
+ return new ERecord(new EVar((Token)get(0)), fields);
}
@Override
parameters[i] = fieldDesc.type;
fieldNames[i] = fieldDesc.name;
}
- return new ConstructorAst(annotations, ((Token)get(idPos)).text, parameters, fieldNames);
+ return new ConstructorAst(annotations, (Token)get(idPos), parameters, fieldNames);
}
@Override
@Override
protected Object reduceConstraintStatement() {
- TypeAst[] parameterTypes = new TypeAst[length()-2];
- for(int i=0;i<parameterTypes.length;++i)
- parameterTypes[i] = (TypeAst)get(2+i);
- return new ConstraintStatement((Token)get(1), parameterTypes);
+ ConstructorAst constructor = (ConstructorAst)get(1);
+ return new ConstraintStatement(constructor.name, constructor.parameters, constructor.fieldNames, constructor.annotations);
}
@Override
throw new UnsupportedOperationException();
}
+ @Override
+ protected Object reduceRulesetDefinition() {
+ Token name = (Token)get(1);
+ EBlock block = (EBlock)get(3);
+ return new DRulesetAst(name.text, block);
+ }
+
+ @Override
+ protected Object reduceLocalInclude() {
+ Token name = (Token)get(1);
+ Expression value = (Expression)get(2);
+ return new IncludeStatement(name, value);
+ }
+
+ @Override
+ protected Object reduceConstraintSpec() {
+ Expression[] expressions = new Expression[length()/2-1];
+ for(int i=0;i<expressions.length;++i)
+ expressions[i] = (Expression)get(2*i+1);
+ return expressions;
+ }
+
}