public int getType() { return this.type; }
public int getLine() { return this.line; }
public int getCol() { return this.col; }
public int getType() { return this.type; }
public int getLine() { return this.line; }
public int getCol() { return this.col; }