123124125126127128129130131132133
ds.entitypush(getEntity(trace)); } // We are an entitypop. Pop an entity! if(name.equals("entitypop")){ ds.entitypop(); } // If we are setting an attribute if(name.equals("def")){ trace.session.execute(body);
130131132133134135136137138139140
ds.entitypush(getEntity(trace)); } // We are an entitypop. Pop an entity! if(name.equals("entitypop")){ ds.entitypop(); } // If we are setting an attribute if(name.equals("def")){ IRObject v;