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
final Pos	AstNode.pos
static final 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 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)	Creates a Core.Apply.
Core.Apply	CoreBuilder.apply(Pos pos, TypeSystem typeSystem, BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Core.Exp... args)	Creates a Core.Apply with two or more arguments, packing the arguments into a tuple.
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(Pos pos, Type type, Core.Exp exp, Iterable<? extends Core.Match> matchList)
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)
Core.Fn	CoreBuilder.fn(Pos pos, FnType type, List<Core.Match> matchList, NameGenerator nameGenerator)
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, PairList<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(Pos pos, Core.Pat pat, Core.Exp exp)
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(Pos pos, Core.NamedPat pat, Core.Exp exp)
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.FromStep	AstBuilder.skip(Pos pos, Ast.Exp exp)
Ast.Literal	AstBuilder.stringLiteral(Pos pos, String value)	Creates a string literal.
Ast.FromStep	AstBuilder.take(Pos pos, Ast.Exp exp)
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

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

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

Modifier	Constructor	Description
	CompileException(String message, boolean warning, Pos pos)
(package private)	MatchCode(ImmutablePairList<Core.Pat,Code> patCodes, Pos pos)
(package private)	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) final Pos	ApplicableImpl.pos
private final Pos	Closure.pos
private final 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

Modifier	Constructor	Description
protected	Applicable2(BuiltIn builtIn, Pos pos)
protected	Applicable3(BuiltIn builtIn, Pos pos)
protected	ApplicableImpl(String name, Pos pos)
protected	ApplicableImpl(BuiltIn builtIn, Pos pos)	Creates an ApplicableImpl that directly implements a BuiltIn.
	Closure(EvalEnv evalEnv, ImmutablePairList<Core.Pat,Code> patCodes, Pos pos)	Not a public API.
(package private)	InteractUse(Pos pos)
(package private)	ListHd(Pos pos)
(package private)	ListLast(Pos pos)
(package private)	ListNth(BuiltIn builtIn, Pos pos)
(package private)	ListTabulate(BuiltIn builtIn, Pos pos)
(package private)	ListTake(Pos pos)
(package private)	ListTl(Pos pos)
	MorelRuntimeException(Codes.BuiltInExn e, Pos pos)	Creates a MorelRuntimeException.
(package private)	OptionValOf(Pos pos)
(package private)	RealCheckFloat(Pos pos)
(package private)	RealCompare(Pos pos)
(package private)	RealSign(Pos pos)
(package private)	RelationalOnly(Pos pos)
(package private)	StringConcat(Pos pos)
(package private)	StringConcatWith(Pos pos)
(package private)	StringExtract(Pos pos)
(package private)	StringSub(Pos pos)
(package private)	StringSubstring(Pos pos)
(package private)	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.