Class: OOMethod

An Object-Oriented Method.

•owl:Thing
        •OOSoftwareComponent
                •OOMethod

Super Classes

OOSoftwareComponent
usesMethod ONLY OOMethod
entryPointFor ONLY Requirement
methodUsedBy ONLY OOMethod
hasTest ONLY UnitTest

Disjoint Classes

OOClass, OOInterface, OOMethodSignature, OOPackage, OOProgram

Abstract Syntax

Class(OOMethod partial OOSoftwareComponent
                      restriction(usesMethod allValuesFrom(OOMethod))
                      restriction(entryPointFor allValuesFrom(Requirement))
                      restriction(methodUsedBy allValuesFrom(OOMethod))
                      restriction(hasTest allValuesFrom(UnitTest)))

DisjointClasses(OOMethod OOClass
                         OOInterface
                         OOMethodSignature
                         OOPackage
                         OOProgram)

Usage

Class Description/Definition (Necessary Conditions)

OOClass, OOMethod, Requirement

Domain of

entryPointFor, methodOf, methodUsedBy, usesMethod
Generated with OWLDoc