if (Gdx.input.isTouched()) { float x = Gdx.input.getX(); float y = Gdx.input.getY(); float yR = viewport.height / (y - viewport.y); // the y ratio y = 480 / yR; float xR = viewport.width / (x - viewport.x); // the x ratio x = 800 / xR; bubbles.add(new Bubble(x, 480 - y)); }
public void initialize() { disambModule.definedSorts(); disambModule.subsorts(); disambModule.priorities(); disambModule.leftAssoc(); disambModule.rightAssoc(); disambModule.productionsFor(); disambModule.overloads(); }
@Override public int hashCode() { int hash = 0; for (Tag prd : productions) hash += prd.hashCode(); return hash; }
public Sentence concretize(Sentence m) { if (m instanceof Rule) { Rule r = (Rule) m; return new Rule(concretize(r.body()), r.requires(), r.ensures(), r.att()); } else if (m instanceof Context) { Context c = (Context) m; return new Context(concretize(c.body()), c.requires(), c.att()); } else { return m; } } }
/** * A module containing the compiled definition */ public Module executionModule() { return kompiledDefinition.mainModule(); }
getServer().getPluginManager().registerEvents(this, new Bubble());