public string ReadValue()
{
WMDDetectorPermission perm = new WMDDetectorPermission(WMDDetectorPermissions.Read);
perm.Demand();
return("Warning: potentially dangerous IT Managers detected in the vicinity. Suggest go to yellow alert");
}
static void WritePermission(string file)
{
WMDDetectorPermission perm =
new WMDDetectorPermission(WMDDetectorPermissions.Read);
StreamWriter sw = new StreamWriter(file);
sw.Write(perm.ToXml());
sw.Close();
}
public override bool IsSubsetOf(IPermission target)
{
if (target == null || !(target is WMDDetectorPermission))
{
return(false);
}
WMDDetectorPermission rhs = (WMDDetectorPermission)target;
WMDDetectorPermissions subsetFlags = this.state;
WMDDetectorPermissions supersetFlags = rhs.state;
return((subsetFlags & (~supersetFlags)) == 0);
}
public override IPermission Intersect(IPermission target)
{
WMDDetectorPermission rhs = target as WMDDetectorPermission;
if (rhs == null)
{
return(null);
}
if ((this.state & rhs.state) == WMDDetectorPermissions.None)
{
return(null);
}
return(new WMDDetectorPermission(this.state & rhs.state));
}
static void WritePermissionSet(string file)
{
WMDDetectorPermission perm =
new WMDDetectorPermission(WMDDetectorPermissions.Read);
NamedPermissionSet pset =
new NamedPermissionSet("ReadWMDDetector");
pset.Description = "WMD Detector Permission Set";
pset.SetPermission(perm);
StreamWriter sw = new StreamWriter(file);
sw.Write(pset.ToXml());
sw.Close();
}
