示例#1
0
 def visitAnnotatedTypeName(self,
                            ast: AnnotatedTypeName) -> Set[Homomorphism]:
     return {ast.homomorphism} if ast.is_private() else set()
示例#2
0
 def visitAnnotatedTypeName(self, ast: AnnotatedTypeName):
     if ast.is_private():
         t = TypeName.cipher_type(ast)
     else:
         t = self.visit(ast.type_name.clone())
     return AnnotatedTypeName(t)