All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

The newest version!
domain idltest.events

enum EnumType {
    EnumA,
    EnumB
}

data BranchA {
    a: str
}

data BranchB {
    b: str
}

adt ADTType {
    // Ephemeral activity
    BranchA
    BranchB
}

buzzer TestBuzzer {
  line empty()
  line userRegistered(firstName: str, secondName: str)
  line hello(name: str): str
  line enumInput(value: EnumType): str
  line enumInputVoid(value: EnumType)
  line adtInput(value: ADTType): str
  line adtInputVoid(value: ADTType)
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy