CurryInfo: currypp-3.2.0 / CPP.ICode.ICodeParser.parse
definition: 
|
parse :: Filename -> String -> IO (PM [StandardToken]) parse fn input = return $ bindPM (parserL1 (initPos fn) input) parserL2 |
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
The parse function is the main function of the Code Integration Parser.
The functions partitions the input in normal code and integrated
expressions, disassembles the integrated code and removes its offset.
@param filename - The filename of the input file
@param input - The input string containing language with integrated code
@return - A list of StandardTokens which contain either the common
language or the DSL code with some extra information
|
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,_) |-> _}
|
|
name:
|
parse |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
String -> String -> Prelude.IO (CPP.ICode.ParseMonad.PM [CPP.ICode.ParseTypes.StandardToken]) |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |