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()); }