function_name = line.substring(0, line.indexOf(" "));
action_list = line.substring(line.indexOf(" ") + 1);
//function_name = line.substring(line.indexOf(symbols[8]) + 1, line.indexOf(symbols[13]));
//action_list = line.substring(line.indexOf(symbols[13]) + 1, line.lastIndexOf(symbols[14]));
actions = action_list.split(" ");
Function f = new Function(function_name, actions, this);
functions.add(f);
}
}