diff --git a/compiler/2014/Refactoring.jrag b/compiler/2014/Refactoring.jrag index fbe083fbce28e76fe15a8c1c4f60c037f0601eb5..4a2609c6f95eb21bcd0b1e85ecb6dc65ff690be3 100644 --- a/compiler/2014/Refactoring.jrag +++ b/compiler/2014/Refactoring.jrag @@ -4,11 +4,11 @@ aspect Refactoring { syn DataType Decl.getDataType() = getTypeInstance().getDataType(); public Field.Field(TypeInstance t) { - this(t.getDataType(), t.getName(), t.getAnnotationList()); + this(t.getDataType(), t.getName(), t.getIntentionList()); } public TypeInstance.TypeInstance(DataType t, String n) { - this(t, n, new List<Annotation>()); + this(t, n, new List<Intention>()); System.out.println("WARNING! TypeInstance(DataType, String) ignoring intention list"); } } diff --git a/compiler/2014/Signature.jrag b/compiler/2014/Signature.jrag index 1c1c820a2725ad9dc4adab14fbcaac55e7b90e38..96231d1a4a498e7b31e3762bda6e34b5153529f3 100644 --- a/compiler/2014/Signature.jrag +++ b/compiler/2014/Signature.jrag @@ -2,10 +2,10 @@ import java.util.*; aspect Intentions { - inh Decl ConcreteType.parentDecl(); + inh Decl TypeInstance.parentDecl(); coll Set Decl.allIntentions() [new HashSet()] with add; - ConcreteType contributes getIntentionString() + TypeInstance contributes getIntentionString() to Decl.allIntentions() for parentDecl(); } @@ -37,7 +37,7 @@ aspect Signature { return sb.toString(); } - syn String ConcreteType.getIntentionString() { + syn String TypeInstance.getIntentionString() { StringBuilder sb = new StringBuilder(); List<Intention> ints = getIntentionList(); for(Intention i : ints) { diff --git a/lib/java/se/lth/control/labcomm2014/ASTbuilder.java b/lib/java/se/lth/control/labcomm2014/ASTbuilder.java index dccb39c3c681215433c4f5c3375a81ea7281d80d..07b2d7b8baaa43ca9728120ae82fe3c229fc17bd 100644 --- a/lib/java/se/lth/control/labcomm2014/ASTbuilder.java +++ b/lib/java/se/lth/control/labcomm2014/ASTbuilder.java @@ -96,6 +96,7 @@ public class ASTbuilder implements TypeDefParser.ParsedSymbolVisitor { public void visit(TypeDefParser.ParsedField t){ t.getType().accept(this); fieldStack.push(new Field(new TypeInstance(typeStack.pop(),t.getName()))); + } public void visit(TypeDefParser.ArrayType t){ boolean isFixed = true;