| definition: |
findFunDeclInProgText :: ContentsKind -> String -> QName -> Int
findFunDeclInProgText CurryProg progtext fname =
findFirstDeclLine (showCurryId (snd fname)) (lines progtext) 1
findFunDeclInProgText LCurryProg progtext fname =
findFirstDeclLine ("> "++showCurryId (snd fname)) (lines progtext) 1
findFunDeclInProgText FlatCurryExp progtext fname =
findFirstDeclLine (" (Func (\""++fst fname++"\",\""++snd fname++"\")")
(lines progtext) 1
findFunDeclInProgText OtherText _ _ = 0
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--------------------------------------------------------------------- -- find a function declaration in a program text: |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({CurryProg},_,_) |-> _ || ({LCurryProg},_,_) |-> _ || ({FlatCurryExp},_,_) |-> _ || ({OtherText},_,_) |-> {0}}
|
| name: |
findFunDeclInProgText |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
BrowserAnalysisTypes.ContentsKind -> String -> (String, String) -> Prelude.Int |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |