Noun
typestate (countable and uncountable, plural typestates) (programming) Information stored with a variable indicating its current data type.