core: import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; add: class FindUCVisitor extends Visitor { protected Ident name; public Ident get_name() {{ return name; }} public void set_name(Ident new_name) {{ name = new_name; }} public constructor FindUCVisitor() {{ super(); }} public constructor FindUCVisitor(Ident name) {{ super(); set_name(name); }} public static FindUCVisitor parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._FindUCVisitor(); }} public static FindUCVisitor parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._FindUCVisitor(); }} public static FindUCVisitor parse(String s) {{ try { return parse(new java.io.StringReader(s)); } catch (ParseException e) { throw new RuntimeException(e.toString()); } }} {{ ClassInfo result; void before (ClassInfo host){ Ident n = host.get_name().get_ident(); if(name.toString().compareTo(n.toString()) == 0){ result = host; } } public Object getReturnValue(){ return result; } }} {{ void universal_trv0_bef(UniversalVisitor _v_) { ((UniversalVisitor) _v_).before(this); } }} {{ void universal_trv0_aft(UniversalVisitor _v_) { ((UniversalVisitor) _v_).after(this); } }} {{ void universal_trv0(UniversalVisitor _v_) { universal_trv0_bef(_v_); ((UniversalVisitor) _v_).before_name(this, name); ((UniversalVisitor) _v_).after_name(this, name); universal_trv0_aft(_v_); } }} }