com.jtransc.ast.ast_ref.kt Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of jtransc-core Show documentation
There is a newer version: 0.6.8
package com.jtransc.ast

import com.jtransc.error.invalidOp

interface AstRef
interface AstMemberRef : AstRef {
	val classRef: AstClassRef
	val containingClass: FqName
	val name: String
	val memberType: AstType
}

data class AstClassRef(val name: FqName) : AstRef {
	constructor(name: String) : this(FqName(name))

	init {
		if (name.fqname.contains(';') || name.fqname.contains(']')) {
			invalidOp("Class reference containing ; or ] :: $name")
		}
	}

	val fqname: String get() = name.fqname

	val type: AstType.REF get() = AstType.REF(name)
}

data class AstFieldRef(override val containingClass: FqName, override val name: String, val type: AstType, val isStatic: Boolean? = null) : AstMemberRef {
	override val classRef: AstClassRef by lazy { AstClassRef(containingClass) }
	override val memberType: AstType = type
	val containingTypeRef = AstType.REF(containingClass)
	override fun toString() = "AstFieldRef(${containingClass.fqname},$name,${type.mangle()})"
}

data class AstMethodRef(override val containingClass: FqName, override val name: String, val type: AstType.METHOD_TYPE, val isStatic:Boolean? = null) : AstMemberRef {
	override val classRef: AstClassRef by lazy { AstClassRef(containingClass) }
	val containingClassType: AstType.REF by lazy { AstType.REF(containingClass) }
	override val memberType: AstType = type
	val fid: String get() = "${containingClass.fqname}:$name:$desc"
	val fidWildcard: String get() = "${containingClass.fqname}:$name:*"
	val desc by lazy { type.desc }
	val descWithoutRetval by lazy { type.desc2 }
	val nameDesc by lazy { AstMethodWithoutClassRef(name, type) }

	val allClassRefs: List by lazy { type.getRefClasses() + classRef }

	override fun toString() = "AstMethodRef(${containingClass.fqname},$name,${type.desc})"
}


data class AstFieldWithoutClassRef(val name: String, val type: AstType)

data class AstMethodWithoutClassRef(val name: String, val type: AstType.METHOD_TYPE) {
	val fid2: String get() = "$name:${type.mangle()}"
	val fid2Wildcard: String get() = "$name:*"
	val desc = type.desc
	val descWithoutRetval = type.desc2

	override fun toString() = "AstMethodWithoutClassRef($name,${type.desc})"
}

val AstMethodRef.methodDesc: AstMethodWithoutClassRef get() = AstMethodWithoutClassRef(this.name, this.type)

val AstMethodRef.withoutRetval: AstMethodRef get() {
	return if (this.type.ret == AstType.UNKNOWN) this else AstMethodRef(containingClass, name, type.withoutRetval)
}

val AstFieldRef.withoutClass: AstFieldWithoutClassRef get() = AstFieldWithoutClassRef(this.name, this.type)
val AstMethodRef.withoutClass: AstMethodWithoutClassRef get() = AstMethodWithoutClassRef(this.name, this.type)
fun AstMethodRef.withClass(other: AstClassRef) = AstMethodRef(other.name, this.name, this.type)
fun AstMethodWithoutClassRef.withClass(containingClass: FqName): AstMethodRef = AstMethodRef(containingClass, this.name, this.type)