AnnotationPropertyDomain
- class AnnotationPropertyDomain(annotation_property, value, *, annotations=None)[source]
Bases:
AnnotationPropertyTypingAxiomAn annotation axiom defined in 10.2.3 Annotation Property Domain.
Initialize an annotation property range or domain axiom.
Attributes Summary
Attributes Documentation
- Parameters:
annotation_property (AnnotationProperty)
value (LiteralBox | IdentifierBox)
annotations (list[Annotation])