Loading siaras/SkillserverInterface.jrag +20 −1 Original line number Diff line number Diff line Loading @@ -8,10 +8,22 @@ aspect SkillserverInterface { public Thing ASTNode.getIndividual(String id) { System.out.println("foo"); System.out.println("foo: "+this); for (int i=0; i<getNumChild(); i++) { Thing t = getChild(i).getIndividual(id); if (t!=null) { System.out.println("Found: "+t); return t; } } return null; } public Thing Start.getIndividual(String id) { for (int i=0; i<getNumElement(); i++) { Thing t = getElement(i).getIndividual(id); if (t!=null) { System.out.println("Found: "+t); return t; } } Loading @@ -27,3 +39,10 @@ aspect SkillserverInterface { } } } aspect PrettyPrinter { public void Start.prettyPrint() { System.out.println("PrettyPrinting"); prettyPrint("",System.out); } } Loading
siaras/SkillserverInterface.jrag +20 −1 Original line number Diff line number Diff line Loading @@ -8,10 +8,22 @@ aspect SkillserverInterface { public Thing ASTNode.getIndividual(String id) { System.out.println("foo"); System.out.println("foo: "+this); for (int i=0; i<getNumChild(); i++) { Thing t = getChild(i).getIndividual(id); if (t!=null) { System.out.println("Found: "+t); return t; } } return null; } public Thing Start.getIndividual(String id) { for (int i=0; i<getNumElement(); i++) { Thing t = getElement(i).getIndividual(id); if (t!=null) { System.out.println("Found: "+t); return t; } } Loading @@ -27,3 +39,10 @@ aspect SkillserverInterface { } } } aspect PrettyPrinter { public void Start.prettyPrint() { System.out.println("PrettyPrinting"); prettyPrint("",System.out); } }