zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

concretizer: split long lines in ASP programs

Browse Source
This commit is contained in:
Todd Gamblin 2019-08-10 18:03:32 -07:00
parent 573a2612dc
commit b171ac5050
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/spack/spack/solver/asp.py
View File

@ -25,6 +25,10 @@
from spack.version import ver from spack.version import ver
#: max line length for ASP programs in characters
_max_line = 80
def _id(thing): def _id(thing):
"""Quote string if needed for it to be a valid identifier.""" """Quote string if needed for it to be a valid identifier."""
return '"%s"' % str(thing) return '"%s"' % str(thing)
@ -137,7 +141,10 @@ def fact(self, head):
def rule(self, head, body): def rule(self, head, body):
"""ASP rule (an implication).""" """ASP rule (an implication)."""
self.out.write("%s :- %s.\n" % (head, body)) rule_line = "%s :- %s.\n" % (head, body)
if len(rule_line) > _max_line:
rule_line = re.sub(r' \| ', "\n| ", rule_line)
self.out.write(rule_line)
def constraint(self, body): def constraint(self, body):
"""ASP integrity constraint (rule with no head; can't be true).""" """ASP integrity constraint (rule with no head; can't be true)."""