final class Activation extends api.Activation
- Source
- Activation.java
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Activation
- Activation
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
Value Members
- def nonLambdaActivation(): Activation
-
def
parent(): Option[Activation]
Parent activation
Parent activation
- Definition Classes
- Activation → Activation
-
def
procedure(): FrontEndProcedure
Definition of the procedure, including basic information like name and argument names
Definition of the procedure, including basic information like name and argument names
- Definition Classes
- Activation → Activation
-
def
toString(): String
- Definition Classes
- Activation → AnyRef → Any
- Annotations
- @Override()