{
* File: ProductsMLT.sml.txt
* Author: Manfred Jeusfeld
* Created: 2021-06-22/M.Jeusfeld (2021-06-23/M.Jeusfeld)
* ------------------------------------------------------
* Small products example showing MLT-Telos
*
}

NumericValue in TYPE end

ProductType in TYPE with
  isPowerTypeOf type: Product
end

Product in TYPE with
  attribute
    serialnumber: NumericValue
end

{---}

Car in TYPE,ProductType with
  attribute numberofdoors: NumericValue
end

{---}
"4" in INDIVIDUAL,NumericValue end

"12345" in INDIVIDUAL,NumericValue end


mycar124 in INDIVIDUAL,Car with
  serialnumber sn: "12345"
  numberofdoors doors: "4"
end