ReportingErrorStateNode (CryptoAnalysis 3.1.0 API)

java.lang.Object
- crypto.typestate.ReportingErrorStateNode

All Implemented Interfaces:: typestate.finiteautomata.State

public class ReportingErrorStateNode
extends Object
implements typestate.finiteautomata.State

Constructor Summary

Constructors
Constructor Description

ReportingErrorStateNode(Collection<soot.SootMethod> expectedCalls)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`Collection<soot.SootMethod>`	`getExpectedCalls()`
`int`	`hashCode()`
`boolean`	`isAccepting()`
`boolean`	`isErrorState()`
`boolean`	`isInitialState()`
`boolean`	`isReport()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - ReportingErrorStateNode
```
public ReportingErrorStateNode(Collection<soot.SootMethod> expectedCalls)
```
- Method Detail
  - getExpectedCalls
```
public Collection<soot.SootMethod> getExpectedCalls()
```
  - isErrorState
```
public boolean isErrorState()
```
    Specified by:
    
    isErrorState in interface typestate.finiteautomata.State
  - isInitialState
```
public boolean isInitialState()
```
    Specified by:
    
    isInitialState in interface typestate.finiteautomata.State
  - isAccepting
```
public boolean isAccepting()
```
    Specified by:
    
    isAccepting in interface typestate.finiteautomata.State
  - isReport
```
public boolean isReport()
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object