def attach(
self,
s1: state.State,
s2: state.State,
sr: state.StateRegister
):
s1.matchKey(self.key, s2)
def attach(
self,
s1: state.State,
s2: state.State,
sr: state.StateRegister
):
s1.matchIndice(self.idx, s2)
def attach(
self,
s1: state.State,
s2: state.State,
sr: state.StateRegister
):
s1.matchHook(self.call, s2)
def attach(
self,
s1: state.State,
s2: state.State,
sr: state.StateRegister
):
s1.matchEventExpr(self.precond, s2, self.clean_event)
def attach(
self,
s1: state.State,
s2: state.State,
sr: state.StateRegister
):
s1.matchValue(self.v, s2)
def attach(
self,
s1: state.State,
s2: state.State,
sr: state.StateRegister
):
# TODO:!!! the event must be store in the LivingState
s1.matchEvent(self.n, s2)
def attach(self, s1: state.State, s2: state.State, sr: state.StateRegister):
if self.t is not object:
if self.iskindof:
s1.matchKindType(self.t, s2)
else:
s1.matchType(self.t, s2)
# to avoid artefact, store the minimal subelement to match
s1.minsubelmt = len(self.attrs)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
if self.t is not object:
if self.iskindof:
s1.matchKindType(self.t, s2)
else:
s1.matchType(self.t, s2)
# to avoid artefact, store the minimal subelement to match
s1.minsubelmt = len(self.attrs)
def attach(
self,
s1: state.State,
s2: state.State,
sr: state.StateRegister
):
if self.name is not None:
s1.matchAttr(self.name, s2)
else:
s1.matchDefault(s2)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
s1.matchKey(self.key, s2)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
s1.matchIndice(self.idx, s2)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
s1.matchHook(self.call, s2)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
# TODO:!!! the event must be store in the LivingState
s1.matchEvent(self.n, s2)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
s1.matchEventExpr(self.precond, s2, self.clean_event)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
s1.matchValue(self.v, s2)
def attach(self, s1: state.State, s2: state.State,
sr: state.StateRegister):
if self.name is not None:
s1.matchAttr(self.name, s2)
else:
s1.matchDefault(s2)
