(self, env, defs)
| 1069 | self.right = right |
| 1070 | |
| 1071 | def Evaluate(self, env, defs): |
| 1072 | if self.op == '||' or self.op == ',': |
| 1073 | return self.left.Evaluate(env, defs) or self.right.Evaluate(env, defs) |
| 1074 | elif self.op == 'if': |
| 1075 | return False |
| 1076 | elif self.op == '!=': |
| 1077 | inter = self.left.GetOutcomes(env, defs) != self.right.GetOutcomes(env, defs) |
| 1078 | return bool(inter) |
| 1079 | elif self.op == '==': |
| 1080 | inter = self.left.GetOutcomes(env, defs) & self.right.GetOutcomes(env, defs) |
| 1081 | return bool(inter) |
| 1082 | else: |
| 1083 | assert self.op == '&&' |
| 1084 | return self.left.Evaluate(env, defs) and self.right.Evaluate(env, defs) |
| 1085 | |
| 1086 | def GetOutcomes(self, env, defs): |
| 1087 | if self.op == '||' or self.op == ',': |
nothing calls this directly
no test coverage detected