MCPcopy Index your code
hub / github.com/google/mangle / newParser

Function newParser

parse/parse.go:113–119  ·  view source on GitHub ↗
(input string)

Source from the content-addressed store, hash-verified

111}
112
113func newParser(input string) (*Parser, error) {
114 p := &Parser{input: input, errors: &errorsList{}}
115 if err := p.init(); err != nil {
116 return nil, err
117 }
118 return p, nil
119}
120
121// Unit parses a source unit (clauses and decls).
122func Unit(reader io.Reader) (SourceUnit, error) {

Callers 5

UnitFunction · 0.85
PredicateNameFunction · 0.85
ClauseFunction · 0.85
LiteralOrFormulaFunction · 0.85
TermFunction · 0.85

Calls 1

initMethod · 0.95

Tested by

no test coverage detected