view src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle/store/transformer/NodeEditor.cs @ 0:dec15de2c6ff

first commit
author Kazuma
date Tue, 21 Jun 2016 17:11:12 +0900
parents
children
line wrap: on
line source


public interface NodeEditor {
	Either<Error, LoggingNode> edit (TreeNode _e);
	LoggingNode wrap (TreeNode node, OperationLog op);
}