package code.instr;

import code.space.Computation;
import code.space.Space;
import code.stuff.Logger;
import code.stuff.Tracer;
import code.term.Term;

/**
 * Construct a character term and push it on the pre-term stack.
 *
 * @author Sergio Antoy
 * @since June 17, 2003
 */

public class MakeChar implements Instruction {

    private final char value;

    public MakeChar(char value) { this.value = value; }

    public void execute(Computation computation) {
        Term term = new Term((char) value);
        Space.instance.preTerm.push(term);
        if (Tracer.instruction) {
            Logger.logln(computation.getIdString() + ": MakeChar: " + term);
        }
    }

    // Should print 'A' not 65
    public String printAsTxtLoadable() { return "MakeChar " + (int) value; }
}