public igt_source_line(String name, String text)
{
this.name = name;
this.text = text;
this.itl = new igt_tok_lattice(this);
}
public lattice_edge(igt_tok_lattice itl, int i_from, int i_to)
{
this.itl = itl;
this.i_from = i_from;
this.i_to = i_to;
}