StackCtx (YABR)

tonic@yabr:~$ Source Portfolio tonicbox.dev

java.lang.Object
- com.tonic.analysis.absexec.StackCtx

```
public final class StackCtx
extends Object
```
One operand-stack slot during abstract execution.

Constructor Summary

Constructors
Constructor Description

StackCtx(InsnContext pushed, boolean wide)
Creates a slot for a pushed value.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addPopped(InsnContext ctx)`	Records a context that popped this value, ignoring duplicates.
`List<InsnContext>`	`getPopped()`
`InsnContext`	`getPushed()`
`boolean`	`isWide()`

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

- Constructor Detail
  - StackCtx
```
public StackCtx(InsnContext pushed,
                boolean wide)
```
    Creates a slot for a pushed value.
    
    Parameters:
    
    pushed - the instruction-execution that pushed the value
    
    wide - true for a long/double entry
- Method Detail
  - getPushed
```
public InsnContext getPushed()
```
    Returns:
    
    the instruction-execution that pushed this value
  - isWide
```
public boolean isWide()
```
    Returns:
    
    whether wide
  - getPopped
```
public List<InsnContext> getPopped()
```
    Returns:
    
    the popped
  - addPopped
```
public void addPopped(InsnContext ctx)
```
    Records a context that popped this value, ignoring duplicates.
    
    Parameters:
    
    ctx - the popping instruction-execution