public void IsInTest2()
{
NativeSalAttribute sal = new NativeSalAttribute(SalEntryType.Pre, SalEntryType.Valid, SalEntryType.Pre, SalEntryType.Deref, SalEntryType.NotReadOnly);
SalAnalyzer target = new SalAnalyzer(sal);
Assert.False(target.IsIn());
}
public void ValidOut2()
{
NativeSalAttribute sal = new NativeSalAttribute(SalEntryType.Pre, SalEntryType.Valid, SalEntryType.Post, SalEntryType.Valid, SalEntryType.Deref, SalEntryType.NotReadOnly);
SalAnalyzer analyzer = new SalAnalyzer(sal);
Assert.True(analyzer.IsValidIn());
Assert.False(analyzer.IsValidInOnly());
Assert.True(analyzer.IsValidOut());
Assert.False(analyzer.IsValidOutOnly());
Assert.True(analyzer.IsValidInOut());
}
public void ValidIn1()
{
NativeSalAttribute sal = new NativeSalAttribute(SalEntryType.Pre, SalEntryType.Valid);
SalAnalyzer analyzer = new SalAnalyzer(sal);
Assert.True(analyzer.IsValidIn());
Assert.True(analyzer.IsValidInOnly());
Assert.False(analyzer.IsValidOut());
Assert.False(analyzer.IsValidOutOnly());
Assert.False(analyzer.IsValidInOut());
}
