{
* File: W32.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 15-Nov-2013/M.Jeusfeld (17-Nov-2013/M.Jeusfeld)
* ------------------------------------------------------
* Example on the benefit of using D attributes.
* Derived from 32, example of a violator.
*
}

Color in ALABEL end

ColorValue in OBJECT 
end

CarModel in OBJECT with
  linkDR m1: ColorValue
end

CarModel!m1 with
  sourcelevel s: 2
  targetlevel t: 2
  label l: Color
end


AnyColor in OBJECT with
  IN c: ColorValue
end

RedColor in OBJECT with
  SPEC c: AnyColor
end

BlueColor in OBJECT with
  SPEC c: AnyColor
end

BlackColor in OBJECT with
  SPEC c: AnyColor
end

MetallicColor in OBJECT with
  SPEC c: AnyColor
end

SilverColor in OBJECT with
  SPEC c: MetallicColor
end

BlueMetallicColor in OBJECT with
  SPEC c: MetallicColor
end



VolvoV50 in OBJECT with
  IN c: CarModel
end


RollsRoyceSilverShadow in OBJECT with
  IN c: CarModel
  linkD m1: SilverColor
end


RollsRoyceSilverShadow!m1 with
  sourcelevel s: 1
  targetlevel t: 1
  label l: Color
end





myV50 in OBJECT with
  IN c: VolvoV50
  linkDR m1: silver20   {* !!! silver color is reserved for RollsRoyceSilverShadow *}
end

myV50!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: Color
end


silver20 in OBJECT with
  IN c: SilverColor
end



myRRSS in OBJECT with
  IN c: RollsRoyceSilverShadow
  linkDR m1: silver1230
end

myRRSS!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: Color
end


silver1230 in OBJECT with
  IN c: SilverColor
end