Class TextSubsystemAsmGenerator

java.lang.Object

org.ek9lang.compiler.backend.jvm.TextSubsystemAsmGenerator

All Implemented Interfaces:

org.objectweb.asm.Opcodes

final class TextSubsystemAsmGenerator
extends Object
implements org.objectweb.asm.Opcodes

Emits the bytecode for EK9 TEXT constructs: the abstract base type's no-arg constructor, its static _textFactory locale dispatcher, and the _isSet override on both the base (unset fallback) and the locale variants (always set). Extracted from AsmStructureCreator; the predicates are pure (static) and the emitters bind to the current class's ClassWriter, mirroring the per-class construction of ServiceOperationAsmGenerator.

Field Summary

Fields inherited from interface org.objectweb.asm.Opcodes

AALOAD, AASTORE, ACC_ABSTRACT, ACC_ANNOTATION, ACC_BRIDGE, ACC_DEPRECATED, ACC_ENUM, ACC_FINAL, ACC_INTERFACE, ACC_MANDATED, ACC_MODULE, ACC_NATIVE, ACC_OPEN, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_RECORD, ACC_STATIC, ACC_STATIC_PHASE, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_TRANSITIVE, ACC_VARARGS, ACC_VOLATILE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, ARRAYLENGTH, ASM10_EXPERIMENTAL, ASM4, ASM5, ASM6, ASM7, ASM8, ASM9, ASTORE, ATHROW, BALOAD, BASTORE, BIPUSH, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD, DMUL, DNEG, DOUBLE, DREM, DRETURN, DSTORE, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, F_APPEND, F_CHOP, F_FULL, F_NEW, F_SAME, F_SAME1, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD, FLOAT, FMUL, FNEG, FREM, FRETURN, FSTORE, FSUB, GETFIELD, GETSTATIC, GOTO, H_GETFIELD, H_GETSTATIC, H_INVOKEINTERFACE, H_INVOKESPECIAL, H_INVOKESTATIC, H_INVOKEVIRTUAL, H_NEWINVOKESPECIAL, H_PUTFIELD, H_PUTSTATIC, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD, IMUL, INEG, INSTANCEOF, INTEGER, INVOKEDYNAMIC, INVOKEINTERFACE, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC, LDIV, LLOAD, LMUL, LNEG, LONG, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSUB, LUSHR, LXOR, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, NULL, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SIPUSH, SOURCE_DEPRECATED, SOURCE_MASK, SWAP, T_BOOLEAN, T_BYTE, T_CHAR, T_DOUBLE, T_FLOAT, T_INT, T_LONG, T_SHORT, TABLESWITCH, TOP, UNINITIALIZED_THIS, V_PREVIEW, V1_1, V1_2, V1_3, V1_4, V1_5, V1_6, V1_7, V1_8, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19, V20, V21, V22, V23, V24, V25, V9

Constructor Summary

Constructors

Constructor	Description
TextSubsystemAsmGenerator(org.objectweb.asm.ClassWriter classWriter, FullyQualifiedJvmName jvmNameConverter)

Method Summary

Modifier and Type	Method	Description
(package private) void	generateTextBaseNoArgConstructor(IRConstruct construct)
(package private) void	generateTextFactoryMethod(IRConstruct construct)	Generate a static _textFactory(String) method on the abstract TEXT base class.
(package private) void	generateTextIsSetMethod(boolean isSet)	Generate _isSet() override for the TEXT base class returning false.
(package private) static boolean	isTextBaseConstruct(IRConstruct construct)	Check if a construct is an abstract TEXT base type (not a locale-specific variant).
(package private) static boolean	isTextLocaleVariant(IRConstruct construct)	Check if a construct is a TEXT locale-specific variant (e.g., Greeting_en, Greeting_de).

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TextSubsystemAsmGenerator

TextSubsystemAsmGenerator(org.objectweb.asm.ClassWriter classWriter,
 FullyQualifiedJvmName jvmNameConverter)

Method Details

isTextBaseConstruct

static boolean isTextBaseConstruct(IRConstruct construct)

Check if a construct is an abstract TEXT base type (not a locale-specific variant).

TEXT base types have genus TEXT but no LANG squirrelled data (locale variants have LANG set). The base type is abstract and cannot be instantiated directly - a static _textFactory method is generated to dispatch to the correct locale-specific subclass at runtime.

isTextLocaleVariant

static boolean isTextLocaleVariant(IRConstruct construct)

Check if a construct is a TEXT locale-specific variant (e.g., Greeting_en, Greeting_de).

Locale variants have genus TEXT and LANG squirrelled data set to their language code.

generateTextBaseNoArgConstructor

void generateTextBaseNoArgConstructor(IRConstruct construct)

generateTextIsSetMethod

void generateTextIsSetMethod(boolean isSet)

Generate _isSet() override for the TEXT base class returning false.

The base text instance is returned by _textFactory for unsupported languages. It is "present but unset" - the object exists but has no meaningful locale. Locale variants override this to return true.

generateTextFactoryMethod

void generateTextFactoryMethod(IRConstruct construct)

Generate a static _textFactory(String) method on the abstract TEXT base class.

This method dispatches to the correct locale-specific subclass based on the language parameter. For known languages, it creates and returns the locale variant (isSet=true). For unknown languages, it returns an unset base instance (isSet=false) - EK9 never returns null.

Bytecode equivalent:

  public static Greeting _textFactory(org.ek9.lang.String lang) {
    String javaLang = lang.toString();
    if ("en".equals(javaLang)) return new Greeting_en(lang);
    if ("de".equals(javaLang)) return new Greeting_de(lang);
    return new Greeting();  // unset, isSet() returns false
  }