Class: SeccompTools::Symbolic::Executor::Leaf

Inherits:

Struct

• Object
• Struct
• SeccompTools::Symbolic::Executor::Leaf

Defined in:

lib/seccomp-tools/symbolic/executor.rb

Overview

A reached return: the accumulated path condition, the value returned (an SeccompTools::Symbolic::Expr), and the line the return is on.

Instance Attribute Summary

• #line ⇒ Object

  Returns the value of attribute line.

• #path ⇒ Object

  Returns the value of attribute path.

• #ret ⇒ Object

  Returns the value of attribute ret.

Instance Attribute Details

#line ⇒ Object

Returns the value of attribute line

Returns:

• (Object) —

  the current value of line

# File 'lib/seccomp-tools/symbolic/executor.rb', line 33

def line
  @line
end

#path ⇒ Object

Returns the value of attribute path

Returns:

• (Object) —

  the current value of path

# File 'lib/seccomp-tools/symbolic/executor.rb', line 33

def path
  @path
end

#ret ⇒ Object

Returns the value of attribute ret

Returns:

• (Object) —

  the current value of ret

# File 'lib/seccomp-tools/symbolic/executor.rb', line 33

def ret
  @ret
end