class InstalTest(object):
def temporary_text_file(self,text):
(fd,path) = mkstemp() # returns a handle/path pair
file = open(path,'w')
print(text,file=file)
file.close()
os.close(fd)
return path
def __init__(self,instal_texts,domain_texts,fact_text,options=""):
#instal_texts is a list of strings
ipath = []
for i in instal_texts:
ipath.append(self.temporary_text_file(i))
dpath = []
for d in domain_texts:
dpath.append(self.temporary_text_file(d))
fpath = self.temporary_text_file(fact_text)
opath = mkdtemp()
#-o needs to be a directory if >1 input file and a .lp file otherwise. This is a hack but it crashes otherwise.
if len(instal_texts) > 1:
opath_end = "/"
else:
opath_end = "/tmp.lp"
#Construct argument list using temp files
argparser = instalargparse.buildargparser()
topass = ['-o',opath+opath_end,'-f',fpath,options]
topass += ['-i'] + ipath
topass += ['-d'] + dpath
(args,unk) = argparser.parse_known_args(topass)
# assumes input files are .ial not .lp
args.ial_files = args.input_files
args.lp_files = []
model_files = instal_compile(args)
initial_state = instal_state_facts(args)
domain_facts = instal_domain_facts(args)
self.sensor = Sensor(dummy,initial_state,model_files,domain_facts,args)
# Clean up files.
for i in ipath:
os.remove(i)
for d in dpath:
os.remove(d)
os.remove(fpath)
shutil.rmtree(opath)
def syntax_check(self,data,terms):
good = True;
for d in data:
t = parse_term(d)
if not(t.name() in terms):
print("Warning: unrecognized term",t)
good = False
return good;
def run_test(self,event,initially=[],
holds=[],notholds=[],occurs=[],notoccurs=[],name=None):
if name is None: #Default name to the event if no name set
name = event
# check for simple typos in term inputs
self.syntax_check(initially+holds+notholds+[event]+occurs+notoccurs,
["observed","occurred","holdsat"])
self.sensor.holdsat += map(parse_term,initially)
self.sensor.solve(event)
event_sat = self.sensor.check_events(event,occurs,notoccurs)
fact_sat = self.sensor.check_facts(event,holds,notholds)
if (event_sat and fact_sat): # and (present != [] or absent != []):
print("Satisfied({n}) {name}"
.format(name=name,n=self.sensor.cycle))
