ScriptFile

ScriptFile is defined as a set of name, text, properties, datas.

• name is the name of the script.

• text is the main text of the script.

• properties . The raw script might contains the lines like this in head. #name val. It is the properties. The properties is a MuiltMap of String to String. For example, you could tag a lot of property named import. However, not all property would be used, like import. For another example, only the first the property named compiler, the others would be ignored. The lines would be removed from raw text, and the result is the text.

• datas. Some extra datas provided by locator. For example, ShotaLocator would put the File named file.