FrameComparator (YABR)

tonic@yabr:~$ Source Portfolio tonicbox.dev

java.lang.Object
- com.tonic.analysis.verifier.stackmap.FrameComparator

```
public class FrameComparator
extends Object
```
Slot-by-slot comparison of declared StackMapTable frames against dataflow-computed frames.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static class`	`FrameComparator.FrameMismatch`	One difference between a declared and a computed frame slot; critical mismatches are stack-side.

Constructor Summary

Constructors
Constructor Description

FrameComparator()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`List<FrameComparator.FrameMismatch>`	`compare(TypeState declared, TypeState computed)`	Compares a declared frame against a computed one across locals and stack.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - FrameComparator
```
public FrameComparator()
```
- Method Detail
  - compare
```
public List<FrameComparator.FrameMismatch> compare(TypeState declared,
                                                   TypeState computed)
```
    Compares a declared frame against a computed one across locals and stack.
    
    Parameters:
    
    declared - the frame from the StackMapTable
    
    computed - the frame derived by dataflow
    
    Returns:
    
    the mismatches found, empty when compatible