public class ProtectionNode extends Node {
	private ConsNode content;
	public ProtectionNode(ConsNode content) {
		this.setContent(content);
	}
	public void setContent(ConsNode content) {
		this.content = content;
	}
	public ConsNode getContent() {
		return content;
	}
	@Override
	public String toIndentedString(int surroundingIndentation) {
		return Node.toIndentedString(content, -1);
	}
}