Package

scala.scalanative

annotation

Permalink

package annotation

Visibility
  1. Public
  2. All

Type Members

  1. class JavaDefaultMethod extends Annotation with StaticAnnotation

    Permalink

    Mark a concrete trait method as a Java default method.

    Mark a concrete trait method as a Java default method.

    This annotation can be used on concrete trait methods to mark them as Java default methods. This should be used *only* to implement interfaces of the JDK that have default methods in Java.

    Otherwise using this annotation is unspecified.

  2. final class alwaysinline extends Annotation with StaticAnnotation

    Permalink

    Always inline a method, even in debug mode.

  3. final class nooptimize extends Annotation with StaticAnnotation

    Permalink

    Don't optimize annotated method at all.

    Don't optimize annotated method at all.

    This annotation implies noinline and nospecialize. In case any inline annotations are provided, nooptimize wins over them (i.e. inline nooptimize is the same as nooptimize).

  4. final class nospecialize extends Annotation with StaticAnnotation

    Permalink

    Don't specialize annotated method.

  5. final class stub extends Annotation with StaticAnnotation

    Permalink

    An annotation that is used to indicate that a given method is provided as a stub, but is not currently supported.

    An annotation that is used to indicate that a given method is provided as a stub, but is not currently supported. These methods are not discovered by the linker by default, but will be discovered only if a special flag is enabled.

Ungrouped