codyze
codyze copied to clipboard
Model the caller of a function
Is it possible to model in MARK the caller of a function/operation, i.e. to restrict that a certain function should only be called by a specific other function or better just with a certain class?
An example:
class B {
fun myFunc() {
obj.call()
}
}
Is it possible to restrict calling obj.call()
only from within B.myFunc()
?