<HTML dir=ltr><HEAD>
<META content="text/html; charset=unicode" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.18904"></HEAD>
<BODY>
<DIV><FONT color=#000000 size=2 face=Arial>I want to write a program that composes a text file, using input from other files within a certain file path.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT color=#000000 size=2 face=Arial>Would it be possible use the type checker to make sure that the contents of the the output text file is influenced only by files on the mentioned file path, not by any other files, channels, GUI's.</FONT></DIV></BODY></HTML>