org.jetbrains.kotlin.backend.common.serialization.proto.IrTypeAliasOrBuilder Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of kotlin-compiler Show documentation

Kotlin Compiler

There is a newer version: 2.0.0

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: compiler/ir/serialization.common/src/KotlinIr.proto

package org.jetbrains.kotlin.backend.common.serialization.proto;

public interface IrTypeAliasOrBuilder extends
    // @@protoc_insertion_point(interface_extends:org.jetbrains.kotlin.backend.common.serialization.proto.IrTypeAlias)
    org.jetbrains.kotlin.protobuf.MessageLiteOrBuilder {

  /**
   * required .org.jetbrains.kotlin.backend.common.serialization.proto.IrDeclarationBase base = 1;
   */
  boolean hasBase();
  /**
   * required .org.jetbrains.kotlin.backend.common.serialization.proto.IrDeclarationBase base = 1;
   */
  org.jetbrains.kotlin.backend.common.serialization.proto.IrDeclarationBase getBase();

  /**
   * required int64 name_type = 2;
   */
  boolean hasNameType();
  /**
   * required int64 name_type = 2;
   */
  long getNameType();

  /**
   * repeated .org.jetbrains.kotlin.backend.common.serialization.proto.IrTypeParameter type_parameter = 3;
   */
  java.util.List 
      getTypeParameterList();
  /**
   * repeated .org.jetbrains.kotlin.backend.common.serialization.proto.IrTypeParameter type_parameter = 3;
   */
  org.jetbrains.kotlin.backend.common.serialization.proto.IrTypeParameter getTypeParameter(int index);
  /**
   * repeated .org.jetbrains.kotlin.backend.common.serialization.proto.IrTypeParameter type_parameter = 3;
   */
  int getTypeParameterCount();
}