コード例 #1
0
ファイル: Range.py プロジェクト: ximarx/icse-ps
 def to_json(self):
     updated = Constraint.to_json(self)
     updated.update({
             'minVal' : self._min,
             'maxVal' : self._max
         })
     return updated
コード例 #2
0
ファイル: RegexMatch.py プロジェクト: ximarx/icse-ps
 def to_json(self):
     updated = Constraint.to_json(self)
     updated.update({
             'regex' : self._regex,
             'flags' : self._flags
         })
     return updated
コード例 #3
0
ファイル: ValuesSet.py プロジェクト: ximarx/icse-ps
 def to_json(self):
     updated = Constraint.to_json(self)
     updated.update({
             'values' : self._values,
         })
     return updated
コード例 #4
0
ファイル: Not.py プロジェクト: ximarx/icse-ps
 def to_json(self):
     updated = Constraint.to_json(self)
     updated.update({
             'constraint' : self._constraint.to_json()
         })
     return updated
コード例 #5
0
ファイル: Chain.py プロジェクト: ximarx/icse-ps
 def to_json(self):
     updated = Constraint.to_json(self)
     updated.update({
             'constraints' : [constraint.to_json() for constraint in self._constraints]
         })
     return updated