Exec

eff ExecSource

The uninterpretable Exec effect.

The Exec effect represents the actions required to start (i.e. run) a new process outside the JVM.

This includes use of System.exec, the Process class, and the ProcessBuilder class.

The Exec effect is uninterpretable which means that it cannot be handled.