Language Ueber

GitHub

https://github.com/softlang/yas/tree/master/languages/Ueber

---

Headline

A declarative megamodeling language used in YAS

---

Details

Ueber is used for build management and regression testing in the YAS repository.

---

Properties

• this facilitates Megamodeling
• this facilitates Build management
• this facilitates Regression testing

---

Representations

• ueber(term)

---

Components

• languages/Ueber/functions.dgl (Graph representation)
• languages/Ueber/languages.dgl (Graph representation)
• languages/Ueber/as.esl (Algebraic signature)
• languages/Ueber/.hinzu (Annotation)
• languages/Ueber/README.md (Markup)
• languages/Ueber/ueberApply.pro (Logic program)
• languages/Ueber/ueberDispatch.pro (Logic program)
• languages/Ueber/ueberDump.pro (Logic program)
• languages/Ueber/ueberEq.pro (Logic program)
• languages/Ueber/ueberFFI.pro (Logic program)
• languages/Ueber/ueberGraphFunctions.pro (Logic program)
• languages/Ueber/ueberGraphLanguages.pro (Logic program)
• languages/Ueber/ueberIO.pro (Logic program)
• languages/Ueber/ueberMain.pro (Logic program)
• languages/Ueber/ueberNorm.pro (Logic program)
• languages/Ueber/ueberOk.pro (Logic program)
• languages/Ueber/ueberReport.pro (Logic program)
• languages/Ueber/ueberSub.pro (Logic program)
• languages/Ueber/ueberVerify.pro (Logic program)
• languages/Ueber/.ueber (Megamodel)

---