public static UnifiedGoto Create(string target)
{
Contract.Requires(target != null);
return(new UnifiedGoto {
Target = UnifiedLabelIdentifier.Create(target),
});
}
public static UnifiedExpression Create(string name)
{
return(new UnifiedLabel {
Name = UnifiedLabelIdentifier.Create(name),
});
}