defs.main-tests.source.idltest.inheritance.domain Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of idealingua-v1-test-defs_2.13 Show documentation

idealingua-v1-test-defs

The newest version!

domain idltest.inheritance

mixin IntPair {
  x: i32
  y: i32
}

mixin Metadata {
  id: str
  name: str
}

mixin PointLike {
  &&& Metadata
  ... IntPair
}

data Point {
  & Metadata
  + IntPair
}

mixin Empty {
}

data Str {
  & Empty
  str: str
}

// Covariance
mixin Covariant {

}

mixin CovariantA {
  & Covariant
}

mixin CovariantB {
  & Covariant
}

mixin WithCovariance {
  field: Covariant
}

mixin InheritedCovariant {
  & WithCovariance

  field: CovariantA
}

data CovariantDTO1 {
  & WithCovariance
}

data CovariantDTO2 {
  & InheritedCovariant
}

mixin Notification {
}

mixin NotificationWithA{
    &Notification
}

mixin NotificationWithB {
    &Notification
}

mixin NotificationWithAB {
    &NotificationWithA
    &NotificationWithB
}

data DataWithAB {
    &NotificationWithA
    &NotificationWithB
}


mixin IA1 {
    Int: i32
}

mixin IA2 {
    & IA1
    Int: i32
}

mixin NotiBase {
    at: tsz
    userID: str
    userName: opt[str]
    message: opt[str]
}

mixin NotiWithFile {
    &NotiBase

    fileID: i64
    fileName: string
}

mixin NotiWithFileRevision {
    &NotiWithFile
    fileRevision: i64
}