Interface StateTypeVisitor