Wiktionary
typestate
n. (context computing programming English) information stored with a variable indicating its current data type.