Module aya.ide

Package org.aya.ide.action

Class ComputeTerm

java.lang.Object

org.aya.ide.action.ComputeTerm

All Implemented Interfaces:

Consumer<org.aya.concrete.stmt.Stmt>, Function<org.aya.concrete.Expr,org.aya.concrete.Expr>, UnaryOperator<org.aya.concrete.Expr>, org.aya.concrete.visitor.EndoExpr, org.aya.concrete.visitor.EndoPattern, org.aya.concrete.visitor.StmtConsumer, SyntaxNodeAction<XY>, SyntaxNodeAction.Cursor

public final class ComputeTerm
extends Object
implements SyntaxNodeAction.Cursor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ComputeTerm.Kind

Nested classes/interfaces inherited from interface org.aya.ide.syntax.SyntaxNodeAction

SyntaxNodeAction.Cursor, SyntaxNodeAction.Ranged

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable org.aya.util.error.WithPos<org.aya.core.term.Term>	result

Constructor Summary

Constructors

Constructor	Description
ComputeTerm(@NotNull org.aya.cli.library.source.LibrarySource source, @NotNull ComputeTerm.Kind kind, org.aya.core.def.PrimDef.Factory primFactory, @NotNull XY location)

Method Summary

Modifier and Type	Method	Description
@NotNull XY	location()
@NotNull org.aya.concrete.Expr	pre(@NotNull org.aya.concrete.Expr expr)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Consumer

andThen

Methods inherited from interface org.aya.concrete.visitor.EndoExpr

post

Methods inherited from interface org.aya.concrete.visitor.EndoPattern

apply, post, pre

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface org.aya.concrete.visitor.StmtConsumer

visitTelescopic

Methods inherited from interface org.aya.ide.syntax.SyntaxNodeAction

accept, apply

Methods inherited from interface org.aya.ide.syntax.SyntaxNodeAction.Cursor

accept

Field Details

result

@Nullable
public @Nullable org.aya.util.error.WithPos<org.aya.core.term.Term> result

Constructor Details

ComputeTerm

public ComputeTerm(@NotNull
 @NotNull org.aya.cli.library.source.LibrarySource source,
 @NotNull
 @NotNull ComputeTerm.Kind kind,
 @NotNull
 org.aya.core.def.PrimDef.Factory primFactory,
 @NotNull
 @NotNull XY location)

Method Details

location

@NotNull
public @NotNull XY location()

Specified by:

location in interface SyntaxNodeAction<XY>

pre

@NotNull
public @NotNull org.aya.concrete.Expr pre(@NotNull
 @NotNull org.aya.concrete.Expr expr)

Specified by:

pre in interface org.aya.concrete.visitor.EndoExpr