Index (ide 0.29.2 API)

A C D E F G H I K L M N O P R S T U W X Y
All Classes and Interfaces|All Packages

A

accept(Location, SourcePos) - Method in interface org.aya.ide.syntax.SyntaxNodeAction
accept(Stmt) - Method in record class org.aya.ide.action.Folding
accept(Stmt) - Method in record class org.aya.ide.action.ProjectSymbol
accept(Stmt) - Method in interface org.aya.ide.syntax.SyntaxDeclAction
accept(Stmt) - Method in interface org.aya.ide.syntax.SyntaxNodeAction
accept(XY, SourcePos) - Method in interface org.aya.ide.syntax.SyntaxNodeAction.Cursor
accept(XYXY, SourcePos) - Method in interface org.aya.ide.syntax.SyntaxNodeAction.Ranged
apply(Expr) - Method in interface org.aya.ide.syntax.SyntaxNodeAction
aya.ide - module aya.ide

C

children() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns the value of the children record component.
computeSignature(PrettierOptions, ImmutableSeq<Term.Param>, Term, boolean) - Static method in interface org.aya.ide.action.ComputeSignature
computeSignature(PrettierOptions, AnyVar, boolean) - Static method in interface org.aya.ide.action.ComputeSignature
ComputeSignature - Interface in org.aya.ide.action
ComputeTerm - Class in org.aya.ide.action
ComputeTerm(LibrarySource, ComputeTerm.Kind, PrimDef.Factory, XY) - Constructor for class org.aya.ide.action.ComputeTerm
ComputeTerm.Kind - Record Class in org.aya.ide.action
contains(SourcePos) - Method in record class org.aya.ide.util.XYXY

D

description() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns the value of the description record component.
doc() - Method in record class org.aya.ide.action.InlayHints.Hint: Returns the value of the doc record component.

E

end() - Method in record class org.aya.ide.util.XYXY: Returns the value of the end record component.
entireLocation() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns the value of the entireLocation record component.
entireSourcePos() - Method in record class org.aya.ide.action.Folding.FoldingArea: Returns the value of the entireSourcePos record component.
equals(Object) - Method in record class org.aya.ide.action.ComputeTerm.Kind: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.action.Folding: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.action.Folding.FoldingArea: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.action.InlayHints: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.action.InlayHints.Hint: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.action.ProjectSymbol: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.action.Rename.RenameEdit: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.Resolver.UsageResolver: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.Resolver.XYResolver: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.util.ModuleVar: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.util.XY: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.ide.util.XYXY: Indicates whether some other object is "equal to" this one.

F

factory(PrimDef.ID, DefVar<PrimDef, TeleDecl.PrimDecl>) - Method in class org.aya.ide.LspPrimFactory
findDefs(LibrarySource, SeqView<LibraryOwner>, XY) - Static method in interface org.aya.ide.action.GotoDefinition
findOccurrences(LibrarySource, SeqView<LibraryOwner>, XY) - Static method in interface org.aya.ide.action.FindReferences
FindReferences - Interface in org.aya.ide.action
findRefs(SeqView<AnyVar>, SeqView<LibraryOwner>) - Static method in interface org.aya.ide.action.FindReferences
findRefs(LibrarySource, SeqView<LibraryOwner>, XY) - Static method in interface org.aya.ide.action.FindReferences
findRefsOutsideDefs(SeqView<AnyVar>, SeqView<LibraryOwner>) - Static method in interface org.aya.ide.action.FindReferences
findRefsOutsideDefs(LibrarySource, SeqView<LibraryOwner>, XY) - Static method in interface org.aya.ide.action.FindReferences
Folding - Record Class in org.aya.ide.action
Folding(MutableList<Folding.FoldingArea>) - Constructor for record class org.aya.ide.action.Folding: Creates an instance of a Folding record class.
Folding.FoldingArea - Record Class in org.aya.ide.action
FoldingArea(SourcePos, Stmt) - Constructor for record class org.aya.ide.action.Folding.FoldingArea: Creates an instance of a FoldingArea record class.
foldingRanges() - Method in record class org.aya.ide.action.Folding: Returns the value of the foldingRanges record component.
foldModuleDecl(SeqView<WithPos<AnyVar>>, SourcePos, ModuleName) - Method in record class org.aya.ide.Resolver.XYResolver
foldModuleRef(SeqView<WithPos<AnyVar>>, SourcePos, ModuleName) - Method in record class org.aya.ide.Resolver.XYResolver
foldVar(SeqView<WithPos<AnyVar>>, AnyVar, SourcePos, LazyValue<Term>) - Method in record class org.aya.ide.Resolver.XYResolver
foldVarDecl(SeqView<WithPos<AnyVar>>, AnyVar, SourcePos, LazyValue<Term>) - Method in record class org.aya.ide.Resolver.XYResolver
foldVarRef(SeqView<SourcePos>, AnyVar, SourcePos, LazyValue<Term>) - Method in record class org.aya.ide.Resolver.UsageResolver

G

GotoDefinition - Interface in org.aya.ide.action

H

hashCode() - Method in record class org.aya.ide.action.ComputeTerm.Kind: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.action.Folding.FoldingArea: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.action.Folding: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.action.InlayHints: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.action.InlayHints.Hint: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.action.ProjectSymbol: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.action.Rename.RenameEdit: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.Resolver.UsageResolver: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.Resolver.XYResolver: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.util.ModuleVar: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.util.XY: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.ide.util.XYXY: Returns a hash code value for this object.
Hint(SourcePos, Doc, boolean) - Constructor for record class org.aya.ide.action.InlayHints.Hint: Creates an instance of a Hint record class.
hints() - Method in record class org.aya.ide.action.InlayHints: Returns the value of the hints record component.

I

id() - Static method in record class org.aya.ide.action.ComputeTerm.Kind
init() - Method in record class org.aya.ide.Resolver.UsageResolver
init() - Method in record class org.aya.ide.Resolver.XYResolver
InlayHints - Record Class in org.aya.ide.action
InlayHints(PrettierOptions, XYXY, MutableList<InlayHints.Hint>) - Constructor for record class org.aya.ide.action.InlayHints: Creates an instance of a InlayHints record class.
InlayHints.Hint - Record Class in org.aya.ide.action
inside(SourcePos) - Method in record class org.aya.ide.util.XY
invoke(LibrarySource) - Static method in record class org.aya.ide.action.Folding
invoke(PrettierOptions, SeqView<LibraryOwner>) - Static method in record class org.aya.ide.action.ProjectSymbol
invoke(PrettierOptions, LibrarySource) - Static method in record class org.aya.ide.action.ProjectSymbol
invoke(PrettierOptions, LibrarySource, XYXY) - Static method in record class org.aya.ide.action.InlayHints
invokeHover(PrettierOptions, LibrarySource, XY) - Static method in interface org.aya.ide.action.ComputeSignature
isType() - Method in record class org.aya.ide.action.InlayHints.Hint: Returns the value of the isType record component.

K

kind() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns the value of the kind record component.
Kind(BiFunction<PrimDef.Factory, Result, Term>) - Constructor for record class org.aya.ide.action.ComputeTerm.Kind: Creates an instance of a Kind record class.

L

location() - Method in class org.aya.ide.action.ComputeTerm
location() - Method in record class org.aya.ide.action.InlayHints: Returns the value of the location record component.
location() - Method in interface org.aya.ide.syntax.SyntaxNodeAction
LspPrimFactory - Class in org.aya.ide: TL; DR: Patched primitive factory that reuses primitives from last compilation.
LspPrimFactory() - Constructor for class org.aya.ide.LspPrimFactory

M

map() - Method in record class org.aya.ide.action.ComputeTerm.Kind: Returns the value of the map record component.
ModuleVar - Record Class in org.aya.ide.util: Modules are not variables.
ModuleVar(ModuleName) - Constructor for record class org.aya.ide.util.ModuleVar: Creates an instance of a ModuleVar record class.

N

name() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns the value of the name record component.
name() - Method in record class org.aya.ide.util.ModuleVar
nameLocation() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns the value of the nameLocation record component.
newText() - Method in record class org.aya.ide.action.Rename.RenameEdit: Returns the value of the newText record component.
nf() - Static method in record class org.aya.ide.action.ComputeTerm.Kind

O

options() - Method in record class org.aya.ide.action.InlayHints: Returns the value of the options record component.
options() - Method in record class org.aya.ide.action.ProjectSymbol: Returns the value of the options record component.
org.aya.ide - package org.aya.ide
org.aya.ide.action - package org.aya.ide.action
org.aya.ide.syntax - package org.aya.ide.syntax
org.aya.ide.util - package org.aya.ide.util

P

path() - Method in record class org.aya.ide.util.ModuleVar: Returns the value of the path record component.
pre(Expr) - Method in class org.aya.ide.action.ComputeTerm
pre(Pattern) - Method in record class org.aya.ide.action.InlayHints
prepare(LibrarySource, XY) - Static method in interface org.aya.ide.action.Rename
ProjectSymbol - Record Class in org.aya.ide.action
ProjectSymbol(PrettierOptions, MutableList<ProjectSymbol.Symbol>) - Constructor for record class org.aya.ide.action.ProjectSymbol: Creates an instance of a ProjectSymbol record class.
ProjectSymbol.Symbol - Record Class in org.aya.ide.action

R

rename(LibrarySource, String, SeqView<LibraryOwner>, XY) - Static method in interface org.aya.ide.action.Rename
Rename - Interface in org.aya.ide.action
Rename.RenameEdit - Record Class in org.aya.ide.action
RenameEdit(SourcePos, String) - Constructor for record class org.aya.ide.action.Rename.RenameEdit: Creates an instance of a RenameEdit record class.
resolveDef(LibraryOwner, ImmutableSeq<String>, String) - Static method in interface org.aya.ide.Resolver: resolve a symbol by its qualified name in the whole library
resolveModule(SeqView<LibraryOwner>, ImmutableSeq<String>) - Static method in interface org.aya.ide.Resolver: resolve a top-level module by its qualified name
resolveModule(LibraryOwner, ImmutableSeq<String>) - Static method in interface org.aya.ide.Resolver: resolve a top-level module by its qualified name
Resolver - Interface in org.aya.ide
Resolver.UsageResolver - Record Class in org.aya.ide: This class finds usages of a variable.
Resolver.XYResolver - Record Class in org.aya.ide: In short, this class resolves cursor position to PsiNameIdentifierOwner or PsiNamedElement.
resolveVar(LibrarySource, XY) - Static method in interface org.aya.ide.Resolver: resolve the position to its referring target
result - Variable in class org.aya.ide.action.ComputeTerm

S

sourcePos() - Method in record class org.aya.ide.action.InlayHints.Hint: Returns the value of the sourcePos record component.
sourcePos() - Method in record class org.aya.ide.action.Rename.RenameEdit: Returns the value of the sourcePos record component.
start() - Method in record class org.aya.ide.util.XYXY: Returns the value of the start record component.
stmt() - Method in record class org.aya.ide.action.Folding.FoldingArea: Returns the value of the stmt record component.
suppressRedefinition() - Method in class org.aya.ide.LspPrimFactory
Symbol(String, Doc, HighlightInfo.DefKind, SourcePos, SourcePos, ImmutableSeq<ProjectSymbol.Symbol>) - Constructor for record class org.aya.ide.action.ProjectSymbol.Symbol: Creates an instance of a Symbol record class.
symbols() - Method in record class org.aya.ide.action.ProjectSymbol: Returns the value of the symbols record component.
SyntaxDeclAction - Interface in org.aya.ide.syntax: Traverse only definitions' name and commands.
SyntaxNodeAction<Location> - Interface in org.aya.ide.syntax: Ignore the traversal of definitions and large expressions when they don't contain the location.
SyntaxNodeAction.Cursor - Interface in org.aya.ide.syntax: Need to visit the decl/expr placed at the cursor position XY
SyntaxNodeAction.Ranged - Interface in org.aya.ide.syntax: Need to visit all decls inside XYXY range

T

target() - Method in record class org.aya.ide.Resolver.UsageResolver: Returns the value of the target record component.
toString() - Method in record class org.aya.ide.action.ComputeTerm.Kind: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.action.Folding.FoldingArea: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.action.Folding: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.action.InlayHints.Hint: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.action.InlayHints: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.action.ProjectSymbol.Symbol: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.action.ProjectSymbol: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.action.Rename.RenameEdit: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.Resolver.UsageResolver: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.Resolver.XYResolver: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.util.ModuleVar: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.util.XY: Returns a string representation of this record class.
toString() - Method in record class org.aya.ide.util.XYXY: Returns a string representation of this record class.
type() - Static method in record class org.aya.ide.action.ComputeTerm.Kind

U

UsageResolver(AnyVar) - Constructor for record class org.aya.ide.Resolver.UsageResolver: Creates an instance of a UsageResolver record class.

W

whnf() - Static method in record class org.aya.ide.action.ComputeTerm.Kind
withChildren(Decl) - Static method in interface org.aya.ide.Resolver

X

x() - Method in record class org.aya.ide.util.XY: Returns the value of the x record component.
xy() - Method in record class org.aya.ide.Resolver.XYResolver: Returns the value of the xy record component.
XY - Record Class in org.aya.ide.util
XY(int, int) - Constructor for record class org.aya.ide.util.XY: Creates an instance of a XY record class.
XYResolver(XY) - Constructor for record class org.aya.ide.Resolver.XYResolver: Creates an instance of a XYResolver record class.
XYXY - Record Class in org.aya.ide.util
XYXY(XY, XY) - Constructor for record class org.aya.ide.util.XYXY: Creates an instance of a XYXY record class.

Y

y() - Method in record class org.aya.ide.util.XY: Returns the value of the y record component.

A C D E F G H I K L M N O P R S T U W X Y
All Classes and Interfaces|All Packages