Python State Examples

Example #1

File: match.py Project: Atch0um/pyrser

 def attach(
     self,
     s1: state.State,
     s2: state.State,
     sr: state.StateRegister
 ):
     s1.matchKey(self.key, s2)

Example #2

File: match.py Project: Atch0um/pyrser

 def attach(
     self,
     s1: state.State,
     s2: state.State,
     sr: state.StateRegister
 ):
     s1.matchIndice(self.idx, s2)

Example #3

File: match.py Project: Atch0um/pyrser

 def attach(
     self,
     s1: state.State,
     s2: state.State,
     sr: state.StateRegister
 ):
     s1.matchHook(self.call, s2)

Example #4

File: match.py Project: Atch0um/pyrser

 def attach(
     self,
     s1: state.State,
     s2: state.State,
     sr: state.StateRegister
 ):
     s1.matchEventExpr(self.precond, s2, self.clean_event)

Example #5

File: match.py Project: Atch0um/pyrser

 def attach(
     self,
     s1: state.State,
     s2: state.State,
     sr: state.StateRegister
 ):
     s1.matchValue(self.v, s2)

Example #6

File: match.py Project: Atch0um/pyrser

 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)

Example #7

File: match.py Project: vhb/pyrser

 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)

Example #8

File: match.py Project: vhb/pyrser

 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)

Example #9

File: match.py Project: Atch0um/pyrser

 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)

Example #10

File: match.py Project: vhb/pyrser

 def attach(self, s1: state.State, s2: state.State,
            sr: state.StateRegister):
     s1.matchKey(self.key, s2)

Example #11

File: match.py Project: vhb/pyrser

 def attach(self, s1: state.State, s2: state.State,
            sr: state.StateRegister):
     s1.matchIndice(self.idx, s2)

Example #12

File: match.py Project: vhb/pyrser

 def attach(self, s1: state.State, s2: state.State,
            sr: state.StateRegister):
     s1.matchHook(self.call, s2)

Example #13

File: match.py Project: vhb/pyrser

 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)

Example #14

File: match.py Project: vhb/pyrser

 def attach(self, s1: state.State, s2: state.State,
            sr: state.StateRegister):
     s1.matchEventExpr(self.precond, s2, self.clean_event)

Example #15

File: match.py Project: vhb/pyrser

 def attach(self, s1: state.State, s2: state.State,
            sr: state.StateRegister):
     s1.matchValue(self.v, s2)

Example #16

File: match.py Project: vhb/pyrser

 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)