s444440/Logic-Formulae-Validator-dla-ubogich
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' of https://git.wmi.amu.edu.pl/s444440/Logic-Formulae-Validator-dla-ubogich

Browse Source
This commit is contained in:
emile 2019-05-30 20:12:38 +02:00
commit ded73fd70a
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
program.py
View File

@ -57,15 +57,15 @@ class RegexInterpreter(AbstractInterpreter):
make_reg = lambda formula,pattern: 'echo "{0}" | grep -P "{1}"'.format(formula,pattern)
def check_assertion(formula, pattern):
cmd = make_reg(formula,pattern)
print("EXECUTING... ",cmd)
#print("EXECUTING... ",cmd)
result = subprocess.run([cmd], shell=True, stdout=subprocess.PIPE)
return len(result.stdout)>0
return not len(result.stdout)>0
cmd =make_reg(formula,'^(\((?:[^()]++|(?1))*\))$')
print("EXECUTING... ",cmd)
#print("EXECUTING... ",cmd)
result = subprocess.run([cmd], shell=True, stdout=subprocess.PIPE)
return None
isValid = len(result.stdout)>0
if not isValid: return False
@ -182,7 +182,7 @@ if len(sys.argv) > 1 :
i = ProperInterpreter()
if '-g' in sys.argv:
i = RegexInterpreter()
print(sys.argv)
#print(sys.argv)
if '-f' in sys.argv:
#open from file