Add dummy instantiations for other languages.

This commit is contained in:
Anders Schack-Mulligen
2025-12-09 15:22:35 +01:00
parent f6e3c77145
commit 5ab26e481b
4 changed files with 52 additions and 0 deletions

View File

@@ -235,6 +235,19 @@ module SourceSinkInterpretationInput implements
)
}
predicate barrierElement(
Element n, string output, string kind, Public::Provenance provenance, string model
) {
none()
}
predicate barrierGuardElement(
Element n, string input, Public::AcceptingValue acceptingvalue, string kind,
Public::Provenance provenance, string model
) {
none()
}
class SourceOrSinkElement = Element;
private newtype TInterpretNode =