org.jetbrains.kotlin.backend.common.serialization.proto.IrFunctionBaseOrBuilder Maven / Gradle / Ivy
// 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 IrFunctionBaseOrBuilder extends
// @@protoc_insertion_point(interface_extends:org.jetbrains.kotlin.backend.common.serialization.proto.IrFunctionBase)
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();
/**
* optional .org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter dispatch_receiver = 4;
*/
boolean hasDispatchReceiver();
/**
* optional .org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter dispatch_receiver = 4;
*/
org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter getDispatchReceiver();
/**
* optional .org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter extension_receiver = 5;
*/
boolean hasExtensionReceiver();
/**
* optional .org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter extension_receiver = 5;
*/
org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter getExtensionReceiver();
/**
* repeated .org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter value_parameter = 6;
*/
java.util.List
getValueParameterList();
/**
* repeated .org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter value_parameter = 6;
*/
org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter getValueParameter(int index);
/**
* repeated .org.jetbrains.kotlin.backend.common.serialization.proto.IrValueParameter value_parameter = 6;
*/
int getValueParameterCount();
/**
* optional int32 body = 7;
*/
boolean hasBody();
/**
* optional int32 body = 7;
*/
int getBody();
}