documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
solve
/
it.unibo.tuprolog.solve.exception
/
Warning
/
Warning
Warning
constructor
(
message
:
String
?
=
null
,
cause
:
Throwable
?
=
null
,
contexts
:
Array
<
ExecutionContext
>
)
Parameters
message
the detail message string.
cause
the cause of this exception.
contexts
a stack of contexts localising the exception
constructor
(
message
:
String
?
=
null
,
cause
:
Throwable
?
=
null
,
context
:
ExecutionContext
)