import org.simantics.scl.compiler.internal.parsing.declarations.DMappingRelationAst;
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;
ArrayList<DEffectAst> effectsAst = new ArrayList<DEffectAst>();
ArrayList<DRuleAst> rulesAst = new ArrayList<DRuleAst>();
ArrayList<DMappingRelationAst> mappingRelationsAst = new ArrayList<DMappingRelationAst>();
+ ArrayList<DRulesetAst> rulesetsAst = new ArrayList<DRulesetAst>();
THashMap<String, DDocumentationAst> valueDocumentation = new THashMap<String, DDocumentationAst>();
THashMap<String, DDocumentationAst> relationDocumentation = new THashMap<String, DDocumentationAst>();
handle((DMappingRelationAst)declaration);
else if(declaration instanceof DRelationAst)
handle((DRelationAst)declaration);
+ else if(declaration instanceof DRulesetAst)
+ handle((DRulesetAst)declaration);
else
throw new InternalCompilerError("Unknown declaration " + declaration.getClass().getSimpleName());
}
errorLog.log(declaration.location, "Annotations not supported.");
currentAnnotations = new ArrayList<DAnnotationAst>(2);
}
+ if(declaration.name.name.equals("Eq") || declaration.name.name.equals("Hashable")) {
+ errorLog.logWarning(declaration.location, "Skipped instance definition for " + declaration.name + " for " + declaration.types[0]);
+ return;
+ }
instancesAst.add(new ProcessedDInstanceAst(
declaration,
valueDefs));
errorLog.log(declaration.location, "Annotations not supported.");
currentAnnotations = new ArrayList<DAnnotationAst>(2);
}
+ if(declaration.name.name.equals("Eq") || declaration.name.name.equals("Hashable")) {
+ errorLog.logWarning(declaration.location, "Skipped instance definition for " + declaration.name + " for " + declaration.types[0]);
+ return;
+ }
derivingInstancesAst.add(declaration);
}
}
}
+ public void handle(DRulesetAst declaration) {
+ if(documentation != null) {
+ declaration.documentation = documentation;
+ documentation = null;
+ }
+ rulesetsAst.add(declaration);
+ }
+
public void handle(DDocumentationAst declaration) {
if(documentation != null) {
errorLog.log(documentation.location, "Invalid documentation string. It precedes another documentation string.");
}
- documentation = declaration;
+ documentation = declaration;
}
public void handle(DAnnotationAst declaration) {