A type error expresses that a term does not satisfy the expected basic Prolog type.
Declaration Syntax
C# | Visual Basic | Visual C++ | F# |
[SerializableAttribute] public class PlTypeException : PlException
<SerializableAttribute> Public Class PlTypeException Inherits PlException
[SerializableAttribute] public ref class PlTypeException : public PlException
[<SerializableAttribute>] type PlTypeException = class inherit PlException end
Members
All Members | Constructors | Methods | Properties | ||
Icon | Member | Description |
---|---|---|
PlTypeException()()()() | Initializes a new instance of the Exception class. | |
PlTypeException(String) | Initializes a new instance of the Exception class with a specified error message. | |
PlTypeException(String, Exception) | Initializes a new instance of the Exception class with a specified error message and a reference to the inner exception that is the cause of this exception. | |
PlTypeException(SerializationInfo, StreamingContext) | Initializes a new instance of the Exception class with serialized data. | |
PlTypeException(PlTerm) | To catch a exception thrown by prolog For a example see PlException. | |
PlTypeException(String, PlTerm) |
Creates an ISO standard Prolog error term expressing the expected type and actual term that does not satisfy this type.
| |
Data | Gets a collection of key/value pairs that provide additional user-defined information about the exception. (Inherited from Exception.) | |
Equals(Object) | (Inherited from Object.) | |
Finalize()()()() | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) | |
GetBaseException()()()() | When overridden in a derived class, returns the Exception that is the root cause of one or more subsequent exceptions. (Inherited from Exception.) | |
GetHashCode()()()() | Serves as a hash function for a particular type. (Inherited from Object.) | |
GetObjectData(SerializationInfo, StreamingContext) | When overridden in a derived class, sets the SerializationInfo with information about the exception. (Inherited from PlException.) | |
GetType()()()() | Gets the runtime type of the current instance. (Inherited from Exception.) | |
HelpLink | Gets or sets a link to the help file associated with this exception. (Inherited from Exception.) | |
HResult | Gets or sets HRESULT, a coded numerical value that is assigned to a specific exception. (Inherited from Exception.) | |
InnerException | Gets the Exception instance that caused the current exception. (Inherited from Exception.) | |
MemberwiseClone()()()() | Creates a shallow copy of the current Object. (Inherited from Object.) | |
Message | Gets a message that describes the current exception. (Inherited from PlException.) | |
MessagePl | provide somtimes some additional information about the exceptions reason. (Inherited from PlException.) | |
PlThrow()()()() |
Generate an exception (as throw/1) and return false.
(Inherited from PlException.) | |
Source | Gets or sets the name of the application or the object that causes the error. (Inherited from Exception.) | |
StackTrace | Gets a string representation of the frames on the call stack at the time the current exception was thrown. (Inherited from Exception.) | |
TargetSite | Gets the method that throws the current exception. (Inherited from Exception.) | |
Term |
Get the PlTerm of this exception.
(Inherited from PlException.) | |
Throw()()()() |
TODO
(Inherited from PlException.) | |
ToString()()()() |
The exception is translated into a message as produced by print_message/2. The character data is stored in a ring.
(Inherited from PlException.) |
Examples
This sample demonstrate how to catch a PlTypeException in C# that is thrown somewhere int the prolog code.
Copy | |
---|---|
public void prolog_type_exception_sample() { try { Assert.IsTrue(PlQuery.PlCall("sumlist([1,error],L)")); } catch (PlTypeException ex) { Assert.AreEqual("is/2: Arithmetic: `error/0' is not a function", ex.Message); } } |
Inheritance Hierarchy
Object | |||
Exception | |||
PlException | |||
PlTypeException |
See Also
Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60601.0 (1.1.60601.0)