Appendix 3: Example of a .IN File

Following is an example of some selected pieces of a .IN file.

# Class Name: LifeCoverage - Generated: 03/31/97 15:46:30.940000

OPTIONS: DB2, ENFIN, FACTORY, RULEDRIVEN, CachedPointer

DLLNAME=BO00210.DLL

SUPPORTINGOBJECT=AgreementDO

# DEFINITION:

# A business object that represents a coverage on a life

# insurance policy.

# DATA OBJECT RELATIONSHIP: AgreementDO

# -see Coverage

# EXAMPLES:

# -see sub-classes

#

#

abstract interface LifeCoverage : Coverage

{

attributes:

{

attribute double amtOfIns;

{

getMethodProlog = no;

getMethodComments =

{

// ACCESS LEVEL: public

// PURPOSE:

// REQUIRE:

// PROMISE: RESULT= the base amount of insurance for the

// lifeCoverage.

// EXCEPTION:

// if amount of insurance is null

// CC_CONDITION:ATTRIBUTE_IS_NULL

// ALGORITHM:

//

//

}

setMethodProlog = no;

setMethodPattern =

{

patternName = BODelegateSetMethod;

}

setMethodComments =

{

// ACCESS LEVEL: public

// PURPOSE:

// REQUIRE:

// PROMISE: RESULT= void. Sets the amount of insurance for

// this lifeCoverage.

// EXCEPTION:

// if an amount of insurance is not allowed for the coverage

// CC_WARNING:BEHAVIOR_NOT_ALLOWED

// if method enforced rules fail

// CC_RULE_VIOLATION:METHOD_ENFORCER_FAILED

// ALGORITHM:

}

}

methods:

{

Decision makeApproveCovDecisionWithPerson(in Person person);

{

methodProlog = no;

methodPattern =

{

patternName = BOMakeDecisionMethod4;

value = "Approve";

}

methodComments =

{

// ACCESS LEVEL: public

// PURPOSE:

// REQUIRE:

// PROMISE: RESULT= aDecision which is the approve coverage

// decision for this lifeCoverage. The given

// person is the decision maker.

// EXCEPTION:

// if preconditions fail

// CC_CONDITION:PRECONDITION_FAILED

// if Person is null

// CC_WARNING:NULL_PARM_PASSED

// ALGORITHM: If an approve coverage decision already exists for

// this lifeCoverage, the related decisions,

// reasons and decision maker are ended.

//

//

}

}

}

}