GetFreshId() public method

public GetFreshId ( ) : int
return int
Beispiel #1
0
 static Session FreshSession(FileSystemDatabase fsd)
 {
     var session = new Session ();
     session.Id = fsd.GetFreshId ();
     session.ShovelVmSources = Program ();
     session.ShovelVmBytecode = Shovel.Api.SerializeBytecode (ProgramBytecode ());
     return session;
 }
Beispiel #2
0
        static Session FreshSession(FileSystemDatabase fsd)
        {
            var session = new Session();

            session.Id = fsd.GetFreshId();
            session.ShovelVmSources  = Program();
            session.ShovelVmBytecode = Shovel.Api.SerializeBytecode(ProgramBytecode());
            return(session);
        }