typestate

Noun

 * 1)  Information stored with a variable indicating its current data type.