Package System

Class Any
  "="(o: Any): Boolean
  "<>"(o: Any): Boolean
  oclIsDefined(): Boolean
  oclAsType(t: T): T
  oclIsTypeOf(t: T): Boolean
  oclIsKindOf(typename: String): Boolean
  oclIsInState(statename: String): Boolean
  allInstances(): Set(T)

Class Real extends Any
  "-"(): Real
  "+"(rhs: Real): Real
  "-"(rhs: Real): Real
  "*"(rhs: Real): Real
  "/"(rhs: Real): Real
  abs(): Real
  floor(): Integer
  round(): Integer
  "max"(rhs: Real): Real
  "min"(rhs: Real): Real
  "="(rhs: Real): Boolean
  "<>"(rhs: Real): Boolean
  "<"(rhs: Real): Boolean
  "<="(rhs: Real): Boolean
  ">"(rhs: Real): Boolean
  ">="(rhs: Real): Boolean

Class Integer extends Real
  "-"(): Integer
  "+"(rhs: Integer): Integer
  "-"(rhs: Integer): Integer
  "*"(rhs: Integer): Integer
  "div"(rhs: Integer): Integer
  "mod"(rhs: Integer): Integer
  "max"(rhs: Integer): Integer
  "min"(rhs: Integer): Integer
  abs(): Integer

Class String extends Any
  "="(rhs: String): Boolean
  "<>"(rhs: String): Boolean
  size(): Integer
  concat(rhs: String): String
  substring(lower:Integer, upper: Integer): String
  toInteger(): Integer
  toReal(): Real

Class Boolean extends Any
  "="(rhs: Boolean): Boolean
  "<>"(rhs: Boolean): Boolean
  "or"(rhs: Boolean): Boolean
  "xor"(rhs: Boolean): Boolean
  "and"(rhs: Boolean): Boolean
  "not"(): Boolean
  implies(rhs: Boolean): Boolean

Class Collection extends Any

  count(o: T): Integer
  excludes(o: T): Boolean
  excludesAll(c: Collection): Boolean
  includes(o: T): Boolean
  includesAll(c: Collection): Boolean
  isEmpty(): Boolean
  notEmpty(): Boolean
  size(): Integer
  sum(): T
  "max"(): T
  "min"(): T

  "="(s: Collection): Boolean
  "<>"(s: Collection): Boolean

  asSet(): Set(T)
  asBag(): Bag(T)
  asSequence(): Sequence(T)

  exists(e: Boolean): Boolean
  forAll(e: Any): Boolean
  collect(e: Any): Bag(T)
  sortedBy(e: Any): Bag(T)

Class "Set" extends Collection
  "-"(S: Set(T)): Set(T)
  union(c: Bag(T)): Bag(T)
  union(s: Set(T)): Set(T)
  intersection(b: Bag(T)): Bag(T)
  intersection(s: Set(T)): Set(T)
  including(o: T): Set(T)
  excluding(o: T): Set(T)
  symmetricDifference(s: Set(T)): Set(T)
  flatten(): Set(T)

  select(e: Boolean): Set(T)
  reject(e: Boolean): Set(T)


Class "Bag" extends Collection
  union(b: Bag(T)): Bag(T)
  union(s: Set(T)): Bag(T)
  intersection(b: Bag(T)): Bag(T)
  intersection(s: Set(T)): Bag(T)
  including(o: T): Bag(T)
  excluding(o: T): Bag(T)
  flatten(): Bag(T)

  select(e: Boolean): Bag(T)
  reject(e: Boolean): Bag(T)

Class "Sequence" extends Collection
  union(s: Sequence(T)): Sequence(T)
  including(o: T): Sequence(T)
  excluding(o: T): Sequence(T)

  append(o: T): Sequence(T)
  at(i: Integer): T
  first(): T
  flatten(): Sequence(T)
  indexOf(o: T): Integer
  insertAt(i: Integer, o: T): Sequence(T)
  last(): T
  prepend(o: T): Sequence(T)
  subSequence(lower: Integer, upper: Integer): Sequence(T)

  select(e: Boolean): Sequence(T)
  reject(e: Boolean): Sequence(T)

EndPackage