net.covers1624.coffeegrinder.bytecode

Class SemanticMatcher

java.lang.Object

net.covers1624.coffeegrinder.bytecode.SemanticMatcher

public class SemanticMatcher
extends java.lang.Object

Matches a tree of instructions to another tree of instructions.

Created by covers1624 on 2/6/21.

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<Block,Block>	blockMap The block match map.
@Nullable Instruction	leftFail
@Nullable Instruction	matchedEndpoint The right hand side endpoint.
@Nullable Instruction	rightFail

Constructor Summary

Constructors

Constructor and Description
SemanticMatcher(@Nullable Instruction endpoint) Construct a new Semantic matcher.

Method Summary

Modifier and Type	Method and Description
boolean	equivalent(Instruction insn1, Instruction insn2)

Methods inherited from class java.lang.Object

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

Field Detail

blockMap

public final java.util.Map<Block,Block> blockMap

The block match map. Left hand block to Right hand block.

leftFail

@Nullable
public @Nullable Instruction leftFail

rightFail

@Nullable
public @Nullable Instruction rightFail

matchedEndpoint

@Nullable
public @Nullable Instruction matchedEndpoint

The right hand side endpoint.

Constructor Detail

SemanticMatcher

public SemanticMatcher(@Nullable
                       @Nullable Instruction endpoint)

Construct a new Semantic matcher.

Parameters:

endpoint - The Left hand side endpoint.

Method Detail

equivalent

public boolean equivalent(Instruction insn1,
                          Instruction insn2)