@Test public void testInc() { final VarIndexing indexes = VarIndexing.builder(0).inc(x).inc(z).inc(x).build(); assertEquals(2, indexes.get(x)); assertEquals(0, indexes.get(y)); assertEquals(1, indexes.get(z)); }
public VarIndexing inc(final VarDecl<?> varDecl, final int n) { checkNotNull(varDecl); return transform().inc(varDecl, n).build(); }
VarIndexing { public VarIndexing inc(final VarDecl<?> varDecl, final int n) { checkNotNull(varDecl); return transform().inc(varDecl, n).build(); } }
VarIndexing { public VarIndexing inc(final VarDecl<?> varDecl, final int n) { checkNotNull(varDecl); return transform().inc(varDecl, n).build(); } private  VarIndexing(final Builder builder); }
VarIndexing { public VarIndexing inc(final VarDecl<?> varDecl, final int n) { checkNotNull(varDecl); return transform().inc(varDecl, n).build(); } private  VarIndexing(final Builder builder); static VarIndexing all(final int defaultIndex); static Builder builder(final int defaultIndex); Builder transform(); VarIndexing inc(final VarDecl<?> varDecl, final int n); VarIndexing inc(final VarDecl<?> varDecl); VarIndexing add(final VarIndexing indexing); VarIndexing sub(final VarIndexing indexing); VarIndexing join(final VarIndexing indexing); int get(final VarDecl<?> varDecl); @Override String toString(); }
VarIndexing { public VarIndexing inc(final VarDecl<?> varDecl, final int n) { checkNotNull(varDecl); return transform().inc(varDecl, n).build(); } private  VarIndexing(final Builder builder); static VarIndexing all(final int defaultIndex); static Builder builder(final int defaultIndex); Builder transform(); VarIndexing inc(final VarDecl<?> varDecl, final int n); VarIndexing inc(final VarDecl<?> varDecl); VarIndexing add(final VarIndexing indexing); VarIndexing sub(final VarIndexing indexing); VarIndexing join(final VarIndexing indexing); int get(final VarDecl<?> varDecl); @Override String toString();  }