예제 #1
0
 internal Version(Version prev)
 {
     this.provider = prev.provider;
     this.id       = unchecked (prev.id + 1);
 }
예제 #2
0
			internal Version (Version prev)
			{
				this.provider = prev.provider;
				this.id = unchecked(prev.id + 1);
			}
예제 #3
0
 internal Version(TextSourceVersionProvider provider)
 {
     this.provider = provider;
 }
예제 #4
0
			internal Version (TextSourceVersionProvider provider)
			{
				this.provider = provider;
			}