Searched refs:AssignConst (Results 1 – 2 of 2) sorted by relevance
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis/ |
| H A D | AnalysisDecoder.cs | 345 return DoWithBothDomains (data, d => d.AssignConst (dest, type, constant)); in LoadConst()
384 data.AssignConst (data.FieldAddress (ptr, field), fieldType, 0); in Entry()
395 data.AssignConst (data.PseudoFieldAddress (ptr, getter), propertyType, 0); in Entry()
|
| H A D | Domain.cs | 194 public void AssignConst (int dest, TypeNode type, object constant) in AssignConst() method in Mono.CodeContracts.Static.Analysis.HeapAnalysis.Domain
196 AssignConst (Address (this.Functions.For (dest)), type, constant); in AssignConst()
199 public void AssignConst (SymValue address, TypeNode type, object constant) in AssignConst() method in Mono.CodeContracts.Static.Analysis.HeapAnalysis.Domain
|