Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/APCDecoder.cs')
-rw-r--r--mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/APCDecoder.cs16
1 files changed, 6 insertions, 10 deletions
diff --git a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/APCDecoder.cs b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/APCDecoder.cs
index bfe4611fc74..adc421f34c4 100644
--- a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/APCDecoder.cs
+++ b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/APCDecoder.cs
@@ -55,32 +55,29 @@ namespace Mono.CodeContracts.Static.ControlFlow {
get { return this; }
}
- public Result ForwardDecode<Data, Result, Visitor> (APC pc, Visitor visitor, Data data)
- where Visitor : IILVisitor<APC, Dummy, Dummy, Data, Result>
+ public TResult ForwardDecode<TData, TResult, TVisitor> (APC pc, TVisitor visitor, TData data)
+ where TVisitor : IILVisitor<APC, Dummy, Dummy, TData, TResult>
{
- return this.subroutine_facade.ForwardDecode<Data, Result, RemoveBranchDelegator<Data, Result, Visitor>>
- (pc, new RemoveBranchDelegator<Data, Result, Visitor> (visitor, this.meta_data_provider), data);
+ return this.subroutine_facade.ForwardDecode<TData, TResult, RemoveBranchDelegator<TData, TResult, TVisitor>>
+ (pc, new RemoveBranchDelegator<TData, TResult, TVisitor> (visitor, this.meta_data_provider), data);
}
- public bool IsUnreachable (APC pc)
+ public bool IsUnreachable (APC pc)
{
return false;
}
- public Dummy EdgeData (APC @from, APC to)
+ public Dummy EdgeData (APC from, APC to)
{
return Dummy.Value;
}
#endregion
- #region IMethodContextProvider Members
public IMethodContext MethodContext
{
get { return this; }
}
- #endregion
- #region IMethodContext Members
public Method CurrentMethod
{
get { return this.cfg.CFGMethod; }
@@ -100,6 +97,5 @@ namespace Mono.CodeContracts.Static.ControlFlow {
{
return this.subroutine_facade.GetAffectedGetters (field);
}
- #endregion
}
}