📄 playertime.java
字号:
/* ---------------------------------------------------------------------------- * This file was automatically generated by SWIG (http://www.swig.org). * Version 1.3.24 * * Do not make changes to this file unless you know what you are doing--modify * the SWIG interface file instead. * ----------------------------------------------------------------------------- */package net.sourceforge.playerstage.Jplayercore;public class PlayerTime { private long swigCPtr; protected boolean swigCMemOwn; protected PlayerTime(long cPtr, boolean cMemoryOwn) { swigCMemOwn = cMemoryOwn; swigCPtr = cPtr; } protected static long getCPtr(PlayerTime obj) { return (obj == null) ? 0 : obj.swigCPtr; } protected PlayerTime() { this(0, false); } protected void finalize() { delete(); } public void delete() { if(swigCPtr != 0 && swigCMemOwn) { swigCMemOwn = false; playercore_javaJNI.delete_PlayerTime(swigCPtr); } swigCPtr = 0; } public int GetTime(SWIGTYPE_p_timeval time) { return playercore_javaJNI.PlayerTime_GetTime(swigCPtr, SWIGTYPE_p_timeval.getCPtr(time)); } public int GetTimeDouble(SWIGTYPE_p_double time) { return playercore_javaJNI.PlayerTime_GetTimeDouble(swigCPtr, SWIGTYPE_p_double.getCPtr(time)); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -