Package soot.dotnet.instructions

Class CilCkFiniteInstruction

java.lang.Object

soot.dotnet.instructions.AbstractCilnstruction

soot.dotnet.instructions.CilCkFiniteInstruction

All Implemented Interfaces:

CilInstruction

public class CilCkFiniteInstruction
extends AbstractCilnstruction

Check for finite value otherwise infinity exception instruction

Field Summary

Fields inherited from class soot.dotnet.instructions.AbstractCilnstruction

cilBlock, dotnetBody, instruction

Constructor Summary

Constructors

Constructor	Description
CilCkFiniteInstruction(ProtoIlInstructions.IlInstructionMsg instruction, DotnetBody dotnetBody, CilBlock cilBlock)

Method Summary

Modifier and Type	Method	Description
void	jimplify(Body jb)	Jimplify a starting statement of ILSpy AST
Value	jimplifyExpr(Body jb)	Jimplify an expression of ILSpy AST statement children

Methods inherited from class soot.dotnet.instructions.AbstractCilnstruction

createTempVar, createTempVar, simplifyComplexExpression

Methods inherited from class java.lang.Object

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

Constructor Detail

CilCkFiniteInstruction

public CilCkFiniteInstruction(ProtoIlInstructions.IlInstructionMsg instruction,
                              DotnetBody dotnetBody,
                              CilBlock cilBlock)

Method Detail

jimplify

public void jimplify(Body jb)

Description copied from interface: CilInstruction

Jimplify a starting statement of ILSpy AST

jimplifyExpr

public Value jimplifyExpr(Body jb)

Description copied from interface: CilInstruction

Jimplify an expression of ILSpy AST statement children

Returns: