Semantics - What is Inheritance and Conditional Inheritance?
Semantics - What is Inheritance and Conditional Inheritance?
Describe the feature
Describe the solution you would like
Describe alternatives you have considered
Describe the backwards compatibility
Additional context
Proposal-1: Inheritance (Rich Heidtman):
When one actor defintion extends from another actor definition all the fields of the first actor definition are acquired through inheritance from the second actor definition.
Example: car inheritance fields from vehicle, where car is 2nd actor definition and vehicle is 1st actor definition
Syntax Example: actor car **extends** vehicle
Proposal-2: Conditional Inheritance (Rich Heidtman):
When one actor extends from another actor with conditional inheritance: constraints must hold given the rules of conditional inheritance.
Example: vehicle constraints must hold (ActorType = vehicle, VehicleCategory = sedan)
Early Syntax Example to help understand: actor car **extends** vehicle(actorType = vehicle, vehicleCategory = sedan)