Uses of Class
net.hydromatic.morel.ast.Pos

Packages that use Pos

Package	Description
net.hydromatic.morel	Standard ML interpreter, implemented in Java.
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.eval	Evaluates expressions.
net.hydromatic.morel.util	Utilities.

Uses of Pos in net.hydromatic.morel

Methods in net.hydromatic.morel with parameters of type Pos

Modifier and Type	Method	Description
void	Main.Shell.use(String fileName, Pos pos)
void	Main.SubShell.use(String fileName, Pos pos)
void	Shell.SubShell.Use.use(String fileName, Pos pos)

Uses of Pos in net.hydromatic.morel.ast

Fields in net.hydromatic.morel.ast declared as Pos

Modifier and Type	Field	Description
Pos	AstNode.pos
static Pos	Pos.ZERO

Methods in net.hydromatic.morel.ast that return Pos

Modifier and Type	Method	Description
static Pos	Pos.of(String ml, String file, int startOffset, int endOffset)	Creates a Pos from two offsets.
Pos	Pos.plus(Pos pos)
Pos	Pos.plusAll(Iterable<Pos> poses)
Pos	Pos.plusAll(List<? extends AstNode> nodes)
static <E> Pos	Pos.sum(Iterable<E> elements, Function<E,Pos> fn)
static Pos	Pos.sum(Iterable<Pos> poses)	Combines an iterable of parser positions to create a position which spans from the beginning of the first to the end of the last.
private static Pos	Pos.sum(Iterable<Pos> poses, int line, int column, int endLine, int endColumn)	Computes the parser position which is the sum of an array of parser positions and of a parser position represented by (line, column, endLine, endColumn).
static Pos	Pos.sum(List<? extends AstNode> nodes)
private static Pos	Pos.sum_(List<Pos> positions)	Combines a list of parser positions to create a position which spans from the beginning of the first to the end of the last.

Methods in net.hydromatic.morel.ast that return types with arguments of type Pos

Modifier and Type	Method	Description
static org.apache.calcite.util.Pair<@NonNull String,@NonNull Pos>	Pos.split(String s, char delimiter, String file)	Creates a Pos from a filename and a string with a delimiter character.

Methods in net.hydromatic.morel.ast with parameters of type Pos

Modifier and Type	Method	Description
void	Core.BindingConsumer.accept(Core.NamedPat namedPat, Core.Exp exp, Pos pos)
Ast.Aggregate	AstBuilder.aggregate(Pos pos, Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
Ast.Exp	AstBuilder.annotatedExp(Pos pos, Ast.Exp expression, Ast.Type type)
Ast.AnnotatedPat	AstBuilder.annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Core.Apply	CoreBuilder.apply(Pos pos, Type type, Core.Exp fn, Core.Exp arg)
Ast.AsPat	AstBuilder.asPat(Pos pos, Ast.IdPat id, Ast.Pat pat)
Ast.Literal	AstBuilder.boolLiteral(Pos p, boolean b)	Creates a boolean literal.
private Core.Apply	CoreBuilder.call(TypeSystem typeSystem, BuiltIn builtIn, Type type, Pos pos, Core.Exp... args)	Calls a built-in function with one type parameter.
Ast.Case	AstBuilder.caseOf(Pos pos, Ast.Exp exp, Iterable<? extends Ast.Match> matchList)
Core.Case	CoreBuilder.caseOf(Type type, Core.Exp exp, Iterable<? extends Core.Match> matchList, Pos pos)
Ast.Literal	AstBuilder.charLiteral(Pos p, char c)	Creates a char literal.
Ast.Type	AstBuilder.compositeType(Pos pos, Iterable<Ast.Type> types)
Ast.Compute	AstBuilder.compute(Pos pos, List<Ast.Aggregate> aggregates)
Ast.Con0Pat	AstBuilder.con0Pat(Pos pos, Ast.Id tyCon)
Ast.ConPat	AstBuilder.conPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
Ast.DatatypeBind	AstBuilder.datatypeBind(Pos pos, Ast.Id name, Iterable<Ast.TyVar> tyVars, Iterable<Ast.TyCon> tyCons)
Ast.DatatypeDecl	AstBuilder.datatypeDecl(Pos pos, Iterable<Ast.DatatypeBind> binds)
Ast.Fn	AstBuilder.fn(Pos pos, Iterable<? extends Ast.Match> matchList)
Ast.Fn	AstBuilder.fn(Pos pos, Ast.Match... matchList)
Ast.From	AstBuilder.from(Pos pos, List<Ast.FromStep> steps)
Ast.From	AstBuilder.from(Pos pos, List<Ast.FromStep> steps, Ast.Exp implicitYieldExp)
Ast.FunBind	AstBuilder.funBind(Pos pos, Iterable<? extends Ast.FunMatch> matchList)
Ast.FunctionType	AstBuilder.functionType(Pos pos, Ast.Type fromType, Ast.Type toType)
Ast.FunDecl	AstBuilder.funDecl(Pos pos, Iterable<? extends Ast.FunBind> valBinds)
Ast.FunMatch	AstBuilder.funMatch(Pos pos, String name, Iterable<? extends Ast.Pat> patList, Ast.Type returnType, Ast.Exp exp)
Ast.Group	AstBuilder.group(Pos pos, List<Pair<Ast.Id,Ast.Exp>> groupExps, List<Ast.Aggregate> aggregates)
Ast.Id	AstBuilder.id(Pos pos, String name)
Ast.Pat	AstBuilder.idPat(Pos pos, String name)
Ast.Exp	AstBuilder.ifThenElse(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
(package private) static @Nullable Ast.Exp	Ast.From.implicitYieldExp(Pos pos, List<Ast.FromStep> steps)
Ast.Exp	AstBuilder.infixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
Ast.InfixPat	AstBuilder.infixPat(Pos pos, Op op, Ast.Pat p0, Ast.Pat p1)
Ast.Literal	AstBuilder.intLiteral(Pos pos, BigDecimal value)	Creates an int literal.
Ast.Let	AstBuilder.let(Pos pos, Iterable<? extends Ast.Decl> decls, Ast.Exp exp)
Ast.ListExp	AstBuilder.list(Pos pos, Iterable<? extends Ast.Exp> list)
Ast.ListPat	AstBuilder.listPat(Pos pos, Iterable<? extends Ast.Pat> args)
Ast.ListPat	AstBuilder.listPat(Pos pos, Ast.Pat... args)
Ast.LiteralPat	AstBuilder.literalPat(Pos pos, Op op, Comparable value)
Ast.Exp	AstBuilder.map(Pos pos, Ast.Exp e1, Ast.Exp e2)
Ast.Match	AstBuilder.match(Pos pos, Ast.Pat pat, Ast.Exp exp)
Core.Match	CoreBuilder.match(Core.Pat pat, Core.Exp exp, Pos pos)
Ast.Type	AstBuilder.namedType(Pos pos, Iterable<? extends Ast.Type> types, String name)
Ast.Exp	AstBuilder.negate(Pos p, Ast.Exp a)
Core.NonRecValDecl	CoreBuilder.nonRecValDecl(Core.NamedPat pat, Core.Exp exp, Pos pos)
Core.Exp	CoreBuilder.only(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Ast.Order	AstBuilder.order(Pos pos, Iterable<Ast.OrderItem> orderItems)
Ast.OrderItem	AstBuilder.orderItem(Pos pos, Ast.Exp exp, Ast.Direction direction)
Pos	Pos.plus(Pos pos)
Ast.PrefixCall	AstBuilder.prefixCall(Pos p, Op op, Ast.Exp a)	Creates a call to a prefix operator.
Ast.Literal	AstBuilder.realLiteral(Pos pos, Float value)	Creates a float literal for a special IEEE floating point value: NaN, negative zero, positive and negative infinity.
Ast.Literal	AstBuilder.realLiteral(Pos pos, BigDecimal value)	Creates a float literal.
Ast.Record	AstBuilder.record(Pos pos, Map<String,Ast.Exp> map)
Ast.RecordPat	AstBuilder.recordPat(Pos pos, boolean ellipsis, Map<String,? extends Ast.Pat> args)
Ast.RecordSelector	AstBuilder.recordSelector(Pos pos, String name)
Ast.RecordType	AstBuilder.recordType(Pos pos, Map<String,Ast.Type> fieldTypes)
private Ast.Exp	AstBuilder.ref(Pos pos, BuiltIn builtIn)	Returns a reference to a built-in: either a name (e.g.
Ast.Scan	AstBuilder.scan(Pos pos, Op op, Ast.Pat pat, Ast.Exp exp, Ast.Exp condition)
Ast.Literal	AstBuilder.stringLiteral(Pos pos, String value)	Creates a string literal.
Ast.Tuple	AstBuilder.tuple(Pos pos, Iterable<? extends Ast.Exp> list)
Ast.TuplePat	AstBuilder.tuplePat(Pos pos, Iterable<? extends Ast.Pat> args)
Ast.TuplePat	AstBuilder.tuplePat(Pos pos, Ast.Pat... args)
Ast.Type	AstBuilder.tupleType(Pos pos, Iterable<Ast.Type> types)
Ast.TyCon	AstBuilder.typeConstructor(Pos pos, Ast.Id id, Ast.Type type)
Ast.TyVar	AstBuilder.tyVar(Pos pos, String name)
Ast.Literal	AstBuilder.unitLiteral(Pos p)	Creates a unit literal.
Ast.ValBind	AstBuilder.valBind(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.ValDecl	AstBuilder.valDecl(Pos pos, boolean rec, Iterable<? extends Ast.ValBind> valBinds)
Ast.ValDecl	AstBuilder.valDecl(Pos pos, boolean rec, Ast.ValBind... valBinds)
Ast.FromStep	AstBuilder.where(Pos pos, Ast.Exp exp)
Ast.WildcardPat	AstBuilder.wildcardPat(Pos pos)
Ast.FromStep	AstBuilder.yield(Pos pos, Ast.Exp exp)

Method parameters in net.hydromatic.morel.ast with type arguments of type Pos

Modifier and Type	Method	Description
Pos	Pos.plusAll(Iterable<Pos> poses)
static <E> Pos	Pos.sum(Iterable<E> elements, Function<E,Pos> fn)
static Pos	Pos.sum(Iterable<Pos> poses)	Combines an iterable of parser positions to create a position which spans from the beginning of the first to the end of the last.
private static Pos	Pos.sum(Iterable<Pos> poses, int line, int column, int endLine, int endColumn)	Computes the parser position which is the sum of an array of parser positions and of a parser position represented by (line, column, endLine, endColumn).
private static Pos	Pos.sum_(List<Pos> positions)	Combines a list of parser positions to create a position which spans from the beginning of the first to the end of the last.

Constructors in net.hydromatic.morel.ast with parameters of type Pos

Constructor	Description
Aggregate(Pos pos, Ast.Exp aggregate, @Nullable Ast.Exp argument, Ast.Id id)
AnnotatedExp(Pos pos, Ast.Exp exp, Ast.Type type)	Creates a type annotation.
AnnotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Apply(Pos pos, Ast.Exp fn, Ast.Exp arg)
Apply(Pos pos, Type type, Core.Exp fn, Core.Exp arg)
AsPat(Pos pos, Ast.IdPat id, Ast.Pat pat)
AstNode(Pos pos, Op op)
BaseNode(Pos pos, Op op)
Case(Pos pos, Ast.Exp exp, com.google.common.collect.ImmutableList<Ast.Match> matchList)
Case(Pos pos, Type type, Core.Exp exp, com.google.common.collect.ImmutableList<Core.Match> matchList)
CompositeType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types)
Compute(Pos pos, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)
Con0Pat(Pos pos, Ast.Id tyCon)
ConPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
DatatypeBind(Pos pos, com.google.common.collect.ImmutableList<Ast.TyVar> tyVars, Ast.Id name, com.google.common.collect.ImmutableList<Ast.TyCon> tyCons)
DatatypeDecl(Pos pos, com.google.common.collect.ImmutableList<Ast.DatatypeBind> binds)
Decl(Pos pos, Op op)
Decl(Pos pos, Op op)
Exp(Pos pos, Op op)
Exp(Pos pos, Op op, Type type)
Fn(Pos pos, com.google.common.collect.ImmutableList<Ast.Match> matchList)
From(Pos pos, com.google.common.collect.ImmutableList<Ast.FromStep> steps, @Nullable Ast.Exp implicitYieldExp)
FromStep(Pos pos, Op op)
FunBind(Pos pos, com.google.common.collect.ImmutableList<Ast.FunMatch> matchList)
FunctionType(Pos pos, Ast.Type paramType, Ast.Type resultType)
FunDecl(Pos pos, com.google.common.collect.ImmutableList<Ast.FunBind> funBinds)
FunMatch(Pos pos, String name, com.google.common.collect.ImmutableList<Ast.Pat> patList, @Nullable Ast.Type returnType, Ast.Exp exp)
Group(Pos pos, Op op, com.google.common.collect.ImmutableList<Pair<Ast.Id,Ast.Exp>> groupExps, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)
Id(Pos pos, String name)	Creates an Id.
IdPat(Pos pos, String name)
If(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
InfixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
InfixPat(Pos pos, Op op, Ast.Pat p0, Ast.Pat p1)
Let(Pos pos, com.google.common.collect.ImmutableList<Ast.Decl> decls, Ast.Exp exp)
ListExp(Pos pos, Iterable<? extends Ast.Exp> args)
ListPat(Pos pos, com.google.common.collect.ImmutableList<Ast.Pat> args)
Literal(Pos pos, Op op, Comparable value)	Creates a Literal.
LiteralPat(Pos pos, Op op, Comparable value)
Match(Pos pos, Ast.Pat pat, Ast.Exp exp)
Match(Pos pos, Core.Pat pat, Core.Exp exp)
NamedType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types, String name)	Creates a type.
NonRecValDecl(Core.NamedPat pat, Core.Exp exp, Pos pos)
Order(Pos pos, com.google.common.collect.ImmutableList<Ast.OrderItem> orderItems)
OrderItem(Pos pos, Ast.Exp exp, Ast.Direction direction)
Pat(Pos pos, Op op)
PrefixCall(Pos pos, Op op, Ast.Exp a)
Record(Pos pos, com.google.common.collect.ImmutableSortedMap<String,Ast.Exp> args)
RecordPat(Pos pos, boolean ellipsis, com.google.common.collect.ImmutableSortedMap<String,Ast.Pat> args)
RecordSelector(Pos pos, String name)	Creates a record selector.
RecordType(Pos pos, com.google.common.collect.ImmutableMap<String,Ast.Type> fieldTypes)	Creates a TyVar.
Scan(Pos pos, Op op, Ast.Pat pat, Ast.Exp exp, @Nullable Ast.Exp condition)
Tuple(Pos pos, Iterable<? extends Ast.Exp> args)
TuplePat(Pos pos, com.google.common.collect.ImmutableList<Ast.Pat> args)
TupleType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types)
TyCon(Pos pos, Ast.Id id, Ast.Type type)
Type(Pos pos, Op op)	Creates a type node.
TyVar(Pos pos, String name)	Creates a TyVar.
ValBind(Pos pos, Ast.Pat pat, Ast.Exp exp)
ValDecl(Pos pos, boolean rec, com.google.common.collect.ImmutableList<Ast.ValBind> valBinds)
ValDecl(Pos pos, Op op)
Where(Pos pos, Ast.Exp exp)
WildcardPat(Pos pos)
Yield(Pos pos, Ast.Exp exp)

Uses of Pos in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as Pos

Modifier and Type	Field	Description
private Pos	CompileException.pos
private Pos	Compiler.MatchCode.pos
(package private) Pos	Resolver.PatExp.pos

Methods in net.hydromatic.morel.compile that return Pos

Modifier and Type	Method	Description
Pos	CompileException.pos()

Methods in net.hydromatic.morel.compile with parameters of type Pos

Modifier and Type	Method	Description
private Applicable	Compiler.compileApplicable(Compiler.Context cx, Core.Exp fn, Type argType, Pos pos)	Compiles a function value to an Applicable, if possible, or returns null.
private Code	Compiler.compileCall(Compiler.Context cx, BuiltIn builtIn, Core.Exp arg, Pos pos)
private Applicable	Compiler.toApplicable(Compiler.Context cx, Object o, Type argType, Pos pos)

Constructors in net.hydromatic.morel.compile with parameters of type Pos

Constructor	Description
CompileException(String message, boolean warning, Pos pos)
MatchCode(com.google.common.collect.ImmutableList<Pair<Core.Pat,Code>> patCodes, Pos pos)
PatExp(Core.Pat pat, Core.Exp exp, Pos pos)
TypeException(String message, Pos pos)

Uses of Pos in net.hydromatic.morel.eval

Fields in net.hydromatic.morel.eval declared as Pos

Modifier and Type	Field	Description
(package private) Pos	ApplicableImpl.pos
private Pos	Closure.pos
private Pos	Codes.MorelRuntimeException.pos

Methods in net.hydromatic.morel.eval that return Pos

Modifier and Type	Method	Description
Pos	Codes.MorelRuntimeException.pos()

Methods in net.hydromatic.morel.eval with parameters of type Pos

Modifier and Type	Method	Description
private static String	Codes.stringConcat(Pos pos, String separator, List<String> list)
void	Session.Shell.use(String fileName, Pos pos)
void	Session.Shells.use(String fileName, Pos pos)
void	Session.use(String fileName, Pos pos)
Applicable	Codes.InteractUse.withPos(Pos pos)
Applicable	Codes.ListHd.withPos(Pos pos)
Applicable	Codes.ListLast.withPos(Pos pos)
Applicable	Codes.ListNth.withPos(Pos pos)
Applicable	Codes.ListTabulate.withPos(Pos pos)
Applicable	Codes.ListTake.withPos(Pos pos)
Applicable	Codes.ListTl.withPos(Pos pos)
Applicable	Codes.OptionValOf.withPos(Pos pos)
Applicable	Codes.Positioned.withPos(Pos pos)
Applicable	Codes.RealCheckFloat.withPos(Pos pos)
Applicable	Codes.RealCompare.withPos(Pos pos)
Applicable	Codes.RealSign.withPos(Pos pos)
Applicable	Codes.RelationalOnly.withPos(Pos pos)
Applicable	Codes.StringConcat.withPos(Pos pos)
Applicable	Codes.StringConcatWith.withPos(Pos pos)
Applicable	Codes.StringExtract.withPos(Pos pos)
Codes.StringSub	Codes.StringSub.withPos(Pos pos)
Applicable	Codes.StringSubstring.withPos(Pos pos)
Applicable	Codes.VectorUpdate.withPos(Pos pos)

Constructors in net.hydromatic.morel.eval with parameters of type Pos

Constructor	Description
Applicable2(BuiltIn builtIn, Pos pos)
Applicable3(BuiltIn builtIn, Pos pos)
ApplicableImpl(String name, Pos pos)
ApplicableImpl(BuiltIn builtIn, Pos pos)	Creates an ApplicableImpl that directly implements a BuiltIn.
Closure(EvalEnv evalEnv, com.google.common.collect.ImmutableList<Pair<Core.Pat,Code>> patCodes, Pos pos)	Not a public API.
InteractUse(Pos pos)
ListHd(Pos pos)
ListLast(Pos pos)
ListNth(BuiltIn builtIn, Pos pos)
ListTabulate(BuiltIn builtIn, Pos pos)
ListTake(Pos pos)
ListTl(Pos pos)
MorelRuntimeException(Codes.BuiltInExn e, Pos pos)	Creates a MorelRuntimeException.
OptionValOf(Pos pos)
RealCheckFloat(Pos pos)
RealCompare(Pos pos)
RealSign(Pos pos)
RelationalOnly(Pos pos)
StringConcat(Pos pos)
StringConcatWith(Pos pos)
StringExtract(Pos pos)
StringSub(Pos pos)
StringSubstring(Pos pos)
VectorUpdate(Pos pos)

Uses of Pos in net.hydromatic.morel.util

Methods in net.hydromatic.morel.util that return Pos

Modifier and Type	Method	Description
Pos	MorelException.pos()	Returns the position.