generated at
typestate analysis
State pattern
Design by contract
Linear type system
Effect system
runtime verification

googletypestate analysis
Google画像検索typestate analysis
Google定義検索 typestate analysis
wikipediatypestate analysis
weblio typestate analysis
kotobank typestate analysis
jisho typestate analysis