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