示例#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
 def to_json(self):
     updated = Constraint.to_json(self)
     updated.update({
             'regex' : self._regex,
             'flags' : self._flags
         })
     return updated
示例#3
0
 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