Class: OOPackage

An Object-Oriented package of classes.

•owl:Thing
        •OOSoftwareComponent
                •OOPackage

Super Classes

OOSoftwareComponent
packageOf ONLY OOProgram
hasPackageMember ONLY (OOClass OR OOInterface)
hasTest ONLY IntegrationTest

Disjoint Classes

OOClass, OOInterface, OOMethod, OOMethodSignature, OOProgram

Abstract Syntax

Class(OOPackage partial OOSoftwareComponent
                       restriction(packageOf allValuesFrom(OOProgram))
                       restriction(hasPackageMember allValuesFrom(unionOf(OOClass
                                                                          OOInterface)))
                       restriction(hasTest allValuesFrom(IntegrationTest)))

DisjointClasses(OOPackage OOClass
                          OOInterface
                          OOMethod
                          OOMethodSignature
                          OOProgram)

Usage

Class Description/Definition (Necessary Conditions)

OOClass, OOInterface, OOProgram

Domain of

hasPackageMember, packageOf
Generated with OWLDoc