Sybase 7.5 manual Checking an OOM, Object parameters verified by Check model, 136

Models: 7.5

1 288
Download 288 pages 28.98 Kb
Page 146
Image 146

Checking an OOM

Checking an OOM

The procedure that generates .java Java source files or PowerBuilder objects starts by checking the validity of the OOM. If an error is found, the files are not generated.

Object parameters verified by Check model

The Check Model verifies the validity of the following objects in an OOM:

Object

Classes

Interfaces

Attribute

Operation

Association

Realization

Generalization

BeanInfo class

Views

Parameter

Class name and code uniqueness and length Class must have either attribute or operation Class is not declared as private

Class constructor has no return type specified Class constructor cannot have modifiers

Class constructor cannot be not declared as static, abstract or final

Interface name and code uniqueness and length Interface must have either attribute or operation Interface cannot have constructors

Attribute name and code uniqueness and length

Data type has a not-null and not-void data type

Attribute must have value assigned

Attribute must be initialized

Operation name and code uniqueness and length Operation must have a not-null return type

Operation parameter must have a not-null and not-void data type

Abstract operation cannot have a body

Abstract operation declaration must appear only in an abstract class

Role name and code uniqueness and length

Redundant realizations. Only one realization is needed to realize an interface

Redundant generalization. Only one generalization is needed to generalize a classifier

Generalization cannot have multiple inheritance (Java only) Generalization cannot have circular inheritance

BeanInfo class must have a corresponding JavaBean class

View name and code uniqueness and length

Incomplete query

136

Page 146
Image 146
Sybase 7.5 manual Checking an OOM, Object parameters verified by Check model, 136