C# Класс Microsoft.Cci.Ast.ThrownException

An exception that can be thrown by the associated method, along with a possibly empty list of postconditions that are true when that happens.

Наследование: CheckableSourceItem, IThrownException

Показать файл Открыть проект

Private Properties

Свойство	Тип	Описание
ThrownException	System.Collections.Generic

Открытые методы

Метод	Описание
Dispatch ( ICodeAndContractVisitor visitor ) : void	Calls visitor.Visit(IThrownException).
Dispatch ( SourceVisitor visitor ) : void	Calls visitor.Visit(ThrownException).
MakeCopyFor ( BlockStatement containingBlock ) : ThrownException	Makes a copy of this thrown exception, changing the containing block to the given block.
SetContainingExpression ( Expression containingExpression ) : void	Completes the two stage construction of this object. This allows bottom up parsers to construct an Expression before constructing the containing Expression. This method should be called once only and must be called before this object is made available to client code. The construction code itself should also take care not to call any other methods or property/event accessors on the object until after this method has been called.
ThrownException ( TypeExpression exceptionType, Postcondition postcondition, ISourceLocation sourceLocation ) : System.Collections.Generic	Allocates an exception that can be thrown by the associated method, along with a possibly empty list of postconditions that are true when that happens.

Защищенные методы

Метод	Описание
CheckForErrorsAndReturnTrueIfAnyAreFound ( ) : bool	Performs any error checks still needed and returns true if any errors were found in the statement or a constituent part of the statement.

Приватные методы

Метод	Описание
ThrownException ( BlockStatement containingBlock, ThrownException template ) : System.Collections.Generic	A copy constructor that allocates an instance that is the same as the given template, except for its containing block.

Описание методов

CheckForErrorsAndReturnTrueIfAnyAreFound() защищенный Метод

Performs any error checks still needed and returns true if any errors were found in the statement or a constituent part of the statement.

protected CheckForErrorsAndReturnTrueIfAnyAreFound ( ) : bool
Результат	bool

Dispatch() публичный Метод

Calls visitor.Visit(IThrownException).

public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor	ICodeAndContractVisitor
Результат	void

Dispatch() публичный Метод

Calls visitor.Visit(ThrownException).

public Dispatch ( SourceVisitor visitor ) : void
visitor	SourceVisitor
Результат	void

MakeCopyFor() публичный Метод

Makes a copy of this thrown exception, changing the containing block to the given block.

public MakeCopyFor ( BlockStatement containingBlock ) : ThrownException
containingBlock	BlockStatement
Результат	ThrownException

SetContainingExpression() публичный Метод

Completes the two stage construction of this object. This allows bottom up parsers to construct an Expression before constructing the containing Expression. This method should be called once only and must be called before this object is made available to client code. The construction code itself should also take care not to call any other methods or property/event accessors on the object until after this method has been called.

public SetContainingExpression ( Expression containingExpression ) : void
containingExpression	Expression
Результат	void

ThrownException() публичный Метод

Allocates an exception that can be thrown by the associated method, along with a possibly empty list of postconditions that are true when that happens.

public ThrownException ( TypeExpression exceptionType, Postcondition postcondition, ISourceLocation sourceLocation ) : System.Collections.Generic
exceptionType	TypeExpression	The exception that can be thrown by the associated method.
postcondition	Postcondition	The postcondition that holds if the associated method throws this exception.
sourceLocation	ISourceLocation	The source location corresponding to the newly allocated source item.
Результат	System.Collections.Generic