org.qbicc.pointer.FunctionPointer Maven / Gradle / Ivy

Go to download

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

The main Qbicc compiler

There is a newer version: 0.77.0

package org.qbicc.pointer;

import org.qbicc.type.definition.classfile.ClassFile;
import org.qbicc.type.definition.element.FunctionElement;

/**
 * A pointer to a function before it is lowered to a program object.
 */
public final class FunctionPointer extends RootPointer implements ExecutableElementPointer {
    private final FunctionElement function;

    FunctionPointer(FunctionElement function) {
        super(function.getType().getPointer());
        this.function = function;
    }

    public static FunctionPointer of(final FunctionElement methodElement) {
        return methodElement.getOrCreatePointer(FunctionPointer::new);
    }

    public FunctionElement getExecutableElement() {
        return function;
    }

    @Override
    public int hashCode() {
        return super.hashCode() * 19 + function.hashCode();
    }

    @Override
    public boolean equals(final RootPointer other) {
        return other instanceof FunctionPointer smp && equals(smp);
    }

    public boolean equals(final FunctionPointer other) {
        return super.equals(other) && function == other.function;
    }

    @Override
    public StringBuilder toString(StringBuilder b) {
        return b.append('&').append(function.getEnclosingType().getInternalName()).append('#').append(function.getName()).append(function.getDescriptor());
    }

    public boolean isNoThrow() {
        return getExecutableElement().hasNoModifiersOf(ClassFile.I_ACC_NO_THROW);
    }

    @Override
    public boolean isNoSafePoints() {
        return getExecutableElement().hasNoModifiersOf(ClassFile.I_ACC_NO_SAFEPOINTS);
    }

    @Override
    public boolean isNoReturn() {
        return getExecutableElement().hasNoModifiersOf(ClassFile.I_ACC_NO_RETURN);
    }

    @Override
    public boolean isNoSideEffect() {
        return getExecutableElement().hasNoModifiersOf(ClassFile.I_ACC_NO_SIDE_EFFECTS);
    }

    public  R accept(final Visitor visitor, final T t) {
        return visitor.visit(t, this);
    }
}