C# Class 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.
Inheritance: CheckableSourceItem, IThrownException
Afficher le fichier Open project: visualmutator/visualmutator

Private Properties

Свойство Type Description
ThrownException System.Collections.Generic

Méthodes publiques

Méthode Description
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.

Méthodes protégées

Méthode Description
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.

Private Methods

Méthode Description
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.

Method Details

CheckForErrorsAndReturnTrueIfAnyAreFound() protected méthode

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
Résultat bool

Dispatch() public méthode

Calls visitor.Visit(IThrownException).
public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor ICodeAndContractVisitor
Résultat void

Dispatch() public méthode

Calls visitor.Visit(ThrownException).
public Dispatch ( SourceVisitor visitor ) : void
visitor SourceVisitor
Résultat void

MakeCopyFor() public méthode

Makes a copy of this thrown exception, changing the containing block to the given block.
public MakeCopyFor ( BlockStatement containingBlock ) : ThrownException
containingBlock BlockStatement
Résultat ThrownException

SetContainingExpression() public méthode

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
Résultat void

ThrownException() public méthode

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.
Résultat System.Collections.Generic