code.instr
Class Fail

java.lang.Object
  code.instr.Fail

All Implemented Interfaces:

Instruction

public class Fail
extends java.lang.Object
implements Instruction

Fail the current computation. This is generally executed when a needed operation rooted term cannot be narrowed to a constructor rooted term.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

static Instruction[]	failSeq A sequence of FLVM instructions that causes failure.
private static Term	reduct
static Fail	singleton

Constructor Summary

private

Fail()

Method Summary

void	execute(Computation computation) This method executes whatever is intended by the Instruction.
java.lang.String	printAsTxtLoadable()

Methods inherited from class java.lang.Object

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

Field Detail

singleton

public static final Fail singleton

failSeq

public static final Instruction[] failSeq

A sequence of FLVM instructions that causes failure. Can be used to optimize Branch instructions.

reduct

private static final Term reduct

Constructor Detail

Fail

private Fail()

Method Detail

execute

public void execute(Computation computation)

Description copied from interface: Instruction

This method executes whatever is intended by the Instruction.

Specified by:

execute in interface Instruction

Parameters:

computation - The instruction is executed in the context of this Computation.

printAsTxtLoadable

public java.lang.String printAsTxtLoadable()

Specified by:

printAsTxtLoadable in interface Instruction