Peng x Tech.

Pre-Conditions

1. Download VideoControllerView.java and change the package name to match your project
2. Download media_controller.xml into your project’s layout folder
3. Download the 4 images into your project’s drawable folder: ic_media_play.png, ic_media_pause.png, ic_media_fullscreen_shrink.png and ic_media_fullscreen_stretch.png
   
4. Visit Android Holo Colors Generator to create the style of SeekBar, and put them in drawable(or mipmap) and values/style.xml
   
   style.xml
   

Create an Activity(FullscreenVideoActivity.java) with Layout(activity_fullscreen_video.xml)

FullscreenVideoActivity.java

1. Initial MediaPlayer and VideoControlView

public class FullscreenVideoActivity extends Activity implements SurfaceHolder.Callback,
        MediaPlayer.OnPreparedListener, VideoControllerView.MediaPlayerControl {
    private String TAG = "FullscreenVideoActivity";
    SurfaceView videoSurface;
    private MediaPlayer mediaPlayer;
    private VideoControllerView controller;

    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_fullscreen_video);
        videoSurface = (SurfaceView) findViewById(R.id.videoSurface);
        SurfaceHolder videoHolder = videoSurface.getHolder();
        videoHolder.addCallback(this);
        String videoPath =  "android.resource://" + getPackageName() + "/" + R.raw
                .sample_video;
        mediaPlayer = new MediaPlayer();
        controller = new VideoControllerView(this);
        try {
            mediaPlayer.setAudioStreamType(AudioManager.STREAM_MUSIC);
            mediaPlayer.setDataSource(this, Uri.parse(videoPath));
            mediaPlayer.setOnPreparedListener(this);
        } catch (IllegalArgumentException | SecurityException | IllegalStateException |
                IOException e) {
            e.printStackTrace();
        }
    }
}

2. Implement interface SurfaceHolder.Callback
   

   // Implement SurfaceHolder.Callback
   @Override
   public void surfaceChanged(SurfaceHolder holder, int format, int width, int height) {}
   
   @Override
   public void surfaceCreated(SurfaceHolder holder) {
       mediaPlayer.setDisplay(holder);
       mediaPlayer.prepareAsync();
   }
   @Override
   public void surfaceDestroyed(SurfaceHolder holder) {}
   // End SurfaceHolder.Callback
   

3. Implement interface MediaPlayer.OnPreparedListener
   

   // Implement MediaPlayer.OnPreparedListener
   @Override
   public void onPrepared(MediaPlayer mp) {
       controller.setMediaPlayer(this);
       controller.setAnchorView((FrameLayout) findViewById(R.id.videoSurfaceContainer));
       mediaPlayer.start();
   }
   // End MediaPlayer.OnPreparedListener
   

4. Implement interface VideoControllerView.MediaPlayerControl
   In the project, we implement toggleFullScreen() and isFullScreen() to switch between normal(PORTRAIT) and full-screen mode(LANDSCAPE).

   // Implement VideoMediaController.MediaPlayerControl
   @Override
   public boolean canPause() {
       return true;
   }
   
   @Override
   public boolean canSeekBackward() {
       return true;
   }
   
   @Override
   public boolean canSeekForward() {
       return true;
   }
   
   @Override
   public int getBufferPercentage() {
       return 0;
   }
   
   @Override
   public int getCurrentPosition() {
       return mediaPlayer.getCurrentPosition();
   }
   
   @Override
   public int getDuration() {
       return mediaPlayer.getDuration();
   }
   
   @Override
   public boolean isPlaying() {
       return mediaPlayer.isPlaying();
   }
   
   @Override
   public void pause() {
       mediaPlayer.pause();
   }
   
   @Override
   public void seekTo(int i) {
       mediaPlayer.seekTo(i);
   }
   
   @Override
   public void start() {
       mediaPlayer.start();
   }
   
   @Override
   public boolean isFullScreen() {
       boolean isFullScreen = (getResources().getConfiguration().orientation==2);
       Log.d(TAG, "isFullScreen: "+isFullScreen);
       return isFullScreen;
   }
   
   @Override
   public void toggleFullScreen() {
       Log.d(TAG, "toggleFullScreen");
       mediaPlayer.pause();
       if(getResources().getConfiguration().orientation==1){
           this.setRequestedOrientation(ActivityInfo.SCREEN_ORIENTATION_LANDSCAPE);
       }else{
           this.setRequestedOrientation(ActivityInfo.SCREEN_ORIENTATION_PORTRAIT);
       }
   }
   

5. Implement touch event to show media controller
   

   //Show the media controller
   @Override
   public boolean onTouchEvent(MotionEvent event) {
       controller.show();
       return false;
   }
   

activity_fullscreen_video.xml

1. Default layout(PORTRAIT)
   

2. Create LANDSCAPE layout
   Create a folder named layout-land in res, and create a layout file with the same name as activity_fullscreen_video.xml in it.
   
   

Comment the unused component in VideoControllerView.java

private void initControllerView(View v) {
    mPauseButton = (ImageButton) v.findViewById(R.id.pause);
    if (mPauseButton != null) {
        mPauseButton.requestFocus();
        mPauseButton.setOnClickListener(mPauseListener);
    }
    
    mFullscreenButton = (ImageButton) v.findViewById(R.id.fullscreen);
    if (mFullscreenButton != null) {
        mFullscreenButton.requestFocus();
        mFullscreenButton.setOnClickListener(mFullscreenListener);
    }

//        mFfwdButton = (ImageButton) v.findViewById(R.id.ffwd);
//        if (mFfwdButton != null) {
//            mFfwdButton.setOnClickListener(mFfwdListener);
//            if (!mFromXml) {
//                mFfwdButton.setVisibility(mUseFastForward ? View.VISIBLE : View.GONE);
//            }
//        }
//
//        mRewButton = (ImageButton) v.findViewById(R.id.rew);
//        if (mRewButton != null) {
//            mRewButton.setOnClickListener(mRewListener);
//            if (!mFromXml) {
//                mRewButton.setVisibility(mUseFastForward ? View.VISIBLE : View.GONE);
//            }
//        }

    // By default these are hidden. They will be enabled when setPrevNextListeners() is called 
//        mNextButton = (ImageButton) v.findViewById(R.id.next);
//        if (mNextButton != null && !mFromXml && !mListenersSet) {
//            mNextButton.setVisibility(View.GONE);
//        }
//        mPrevButton = (ImageButton) v.findViewById(R.id.prev);
//        if (mPrevButton != null && !mFromXml && !mListenersSet) {
//            mPrevButton.setVisibility(View.GONE);
//        }

    mProgress = (SeekBar) v.findViewById(R.id.mediacontroller_progress);
    if (mProgress != null) {
        if (mProgress instanceof SeekBar) {
            SeekBar seeker = (SeekBar) mProgress;
            seeker.setOnSeekBarChangeListener(mSeekListener);
        }
        mProgress.setMax(1000);
    }

    mEndTime = (TextView) v.findViewById(R.id.time);
    mCurrentTime = (TextView) v.findViewById(R.id.time_current);
    mFormatBuilder = new StringBuilder();
    mFormatter = new Formatter(mFormatBuilder, Locale.getDefault());

    installPrevNextListeners();
}

Result

1. A small VideoView without media controller will auto play video at the beginning of launching app;
   
2. If we single touch the VideoView, it will activate full screen mode and resume it at the stopped position in small VideoView;
   
3. If we touch the back button in full screen mode, it will return to the small VideoView and and resume it at the stopped position in full screen mode.

Basic VideoView

1. Create an empty project
   
2. Create a folder named raw in res
   
3. Add a local video in MP4 format in raw folder
   
   
   
4. Create a MainActivity with layout(activity_main.xml)
   activity_main.xml
   
   MainActivity.java
   

   public class MainActivity extends AppCompatActivity {
       private String TAG = "MainActivity";
       private VideoView videoView;
       private String videoPath;
       @Override
       protected void onCreate(Bundle savedInstanceState) {
           super.onCreate(savedInstanceState);
           setRequestedOrientation(ActivityInfo.SCREEN_ORIENTATION_LANDSCAPE);
           setContentView(R.layout.activity_main);
           videoView = (VideoView) this.findViewById(R.id.video_view);
           videoPath = "android.resource://" + getPackageName() + "/" + R.raw
                   .google_arts_and_culture;
           videoView.setVideoURI(Uri.parse(videoPath));
           videoView.start();       
       }
   }
   

Full Screen VideoView with MediaController

public class FullscreenVideoActivity extends Activity {
    private String TAG = "FullscreenVideoActivity";
    private VideoView videoView;
    private MediaController mc;
    private String videoPath;
    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_fullscreen_video);
        mc = new MediaController(this);
        videoView = (VideoView) this.findViewById(R.id.fullscreen_video_view);
        videoView.setMediaController(mc);
        videoPath = "android.resource://" + getPackageName() + "/" + R.raw
                .google_arts_and_culture;
        videoView.setVideoURI(Uri.parse(videoPath));
        videoView.start();
    }
}

From Basic VideoView into Full Screen Mode

public class MainActivity extends AppCompatActivity {
    private String TAG = "MainActivity";
    private int stopPosition;
    private VideoView videoView;
    private String videoPath;

    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setRequestedOrientation(ActivityInfo.SCREEN_ORIENTATION_LANDSCAPE);
        setContentView(R.layout.activity_main);
        videoView = (VideoView) this.findViewById(R.id.video_view);
        videoPath = "android.resource://" + getPackageName() + "/" + R.raw
                .google_arts_and_culture;
        videoView.setVideoURI(Uri.parse(videoPath));
        videoView.start();
        final GestureDetector gestureDetector = new GestureDetector(this, gestureListener);
        videoView.setOnTouchListener(new View.OnTouchListener() {
            @Override
            public boolean onTouch(View v, MotionEvent event) {
                return gestureDetector.onTouchEvent(event);
            }
        });
    }

    final GestureDetector.SimpleOnGestureListener gestureListener =
            new GestureDetector.SimpleOnGestureListener() {
        @Override
        public boolean onDown(MotionEvent event) {
            return true;
        }

        @Override
        public boolean onSingleTapUp(MotionEvent event) {
            Log.e(TAG, "onSingleTapUp");
            return true;
        }
        @Override
        public boolean onSingleTapConfirmed(MotionEvent e) {
            Log.e(TAG, "onSingleTapConfirmed");
            videoView.pause();
            stopPosition = videoView.getCurrentPosition();
            Intent intent = new Intent(MainActivity.this, FullscreenVideoActivity.class);
            intent.putExtra("videoPath", videoPath);
            intent.putExtra("stopPosition", stopPosition);
            startActivity(intent);
            return true;
        }

        @Override
        public void onLongPress(MotionEvent e) {
            super.onLongPress(e);
            Log.e(TAG, "onLongPress");
        }

        @Override
        public boolean onDoubleTap(MotionEvent e) {
            Log.e(TAG, "onDoubleTap");
            return super.onDoubleTap(e);
        }
    };
}

public class FullscreenVideoActivity extends Activity {
    private String TAG = "FullscreenVideoActivity";
    private VideoView videoView;
    private MediaController mc;
    private String videoPath;
    private int stopPosition;
    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_fullscreen_video);
        Bundle params = getIntent().getExtras();
        videoPath = params.getString("videoPath");
        stopPosition = params.getInt("stopPosition");
        mc = new MediaController(this);
        videoView = (VideoView) this.findViewById(R.id.fullscreen_video_view);
        videoView.setMediaController(mc);
        videoView.setVideoURI(Uri.parse(videoPath));
        Log.e(TAG, "FullscreenVideoView intent stop position: " + stopPosition);
        videoView.seekTo(stopPosition);
        videoView.start();
    }
}

Back to Basic VideoView from Full Screen Mode

@Override
protected void onResume() {
    super.onResume();
    Bundle params = getIntent().getExtras();
    if(null != params){
        Log.e(TAG, "VideoView intent stop position: " + stopPosition);
        videoPath = params.getString("videoPath");
        stopPosition = params.getInt("stopPosition");
        videoView.seekTo(stopPosition);
        videoView.start();
    }
}

@Override
public void onBackPressed() {
    super.onBackPressed();
    videoView.pause();
    stopPosition = videoView.getCurrentPosition();
    Intent intent = new Intent(FullscreenVideoActivity.this, MainActivity.class);
    intent.putExtra("videoPath", videoPath);
    intent.putExtra("stopPosition", stopPosition);
    startActivity(intent);
}

Result

Pre-conditions

• Node.js with Express & Jade
• Microsoft Azure App Service
• Line BOT trial account

Node.js with Express & Jade

Microsoft Azure App Service

• Free
• SSL(https)
• fixed IP address (it's important to configure Line BOT callback server's white list)

Deploy the "LineBOT" project generated in previous step

1. Install Azure CLI & login
   

   $ azure login
   info:    Executing command login
   |info:    To sign in, use a web browser to open the page https://aka.ms/devicelogin. Enter the code ********* to authenticate.
   /info:    Added subscription Enterprise
   info:    Added subscription Azure in Open
   +
   info:    login command OK

2. Create the site by "azure site create --git {appname}"
   

   $ azure site create --git phbot
   azure site create --git phbot
   info:    Executing command site create
   + Getting sites                                                                
   + Getting locations                                                            
   help:    Choose a location
     1) South Central US
     2) North Europe
     3) West Europe
     4) Southeast Asia
     5) East Asia
     6) West US
     7) East US
     8) Japan West
     9) Japan East
     10) East US 2
     11) North Central US
     12) Central US
     13) Brazil South
     14) Canada Central
     15) Canada East
     : 5
   info:    Creating a new web site at phbot.azurewebsites.net
   \info:    Created website at phbot.azurewebsites.net                           
   +
   info:    Executing `git init`
   info:    Creating default iisnode.yml file
   info:    Initializing remote Azure repository
   + Updating site information                                                    
   info:    Remote azure repository initialized
   + Getting site information                                                     
   + Getting user information                                                     
   help:    Please provide the username for Git deployment
   Publishing username: phchu
   info:    Executing `git remote add azure https://phchu@phbot.scm.azurewebsites.net/phbot.git`
   info:    A new remote, 'azure', has been added to your local git repository
   info:    Use git locally to make changes to your site, commit, and then use 'git push azure master' to deploy to Azure
   info:    site create command OK
   

3. Deploy app to Azure
   

   $ git add .
   $ git commit -m "initial commit"
   [master (root-commit) e2a8aba] initial commit
    12 files changed, 314 insertions(+)
    create mode 100644 .vscode/launch.json
    create mode 100644 app.js
    create mode 100755 bin/www
    create mode 100644 iisnode.yml
    create mode 100644 npm-debug.log
    create mode 100644 package.json
    create mode 100644 public/stylesheets/style.css
    create mode 100644 routes/index.js
    create mode 100644 routes/users.js
    create mode 100644 views/error.jade
    create mode 100644 views/index.jade
    create mode 100644 views/layout.jade
   $ git push azure master
   

4. Finally, launch the Azure app in the browser:
   
   

$ azure site log tail
info:    Executing command site log tail
+ Getting site information
Welcome, you are now connected to log-streaming service.             

Line BOT trial account

Configure the Line BOT account attributes in project

module.exports = {
 'LINE':{ 
  CHANNEL_ID: '1234567890',
  CHANNEL_SERECT: '1ad5135ufygthrjekadf107d2',
  MID: '0s98d7f65g4h3jki2u3y4t5re678w9',
 } 
};

Setup the "Callback URL" in channel

https://phbot.azurewebsites.net:443/callback

Create the callback router in the project

1. Create "callback.js" in folder routes
   

   var express = require('express');
   var router = express.Router();
   
   /* GET line bot callback. */
   router.post('/', function(req, res, next) {
     res.send('respond with a resource');
   });
   
   module.exports = router;
   

2. Configure the routing in app.js
   

   var callback = require('./routes/callback');
   app.use('/callback', callback);
   

3. Verify the callback URL
   Click the "VERIFY" button, and it will show "Success." message.
   
   

   $ azure site log tail
   info:    Executing command site log tail
   + Getting site information
   Welcome, you are now connected to log-streaming service.
   POST /callback 200 6.439 ms - 23             
   

Line BOT API

Add fixed propreties in config.js

module.exports = {
    'LINE':{ 
 API: 'https://trialbot-api.line.me/v1/',
 CHANNEL_ID: '1234567890',
 CHANNEL_SERECT: '1ad5135ufygthrjekadf107d2',
 MID: '0s98d7f65g4h3jki2u3y4t5re678w9',
 TEXT: 1,
 IMAGE: 2,
    } 
};

Receive message

1. Add BOT as a friend by scanning the QR-code above Callback URL
   
2. Add console.log in callback.js to show message content then commit it
   

   /* GET line bot callback. */
   router.post('/', function(req, res, next) {
     console.log('callback: ', req.body);
     var result = req.body.result;
     for(var i=0; i < result.length; i++){
         var data = result[i].content;
         console.log('message content: ', data);
       }  
   });
   

3. Say "Hi, BOT" to the online Line BOT
   
   Console:
   

   callback:  { result: 
      [ { content: [Object],
          createdTime: 1466386987962,
          eventType: '138311609000106303',
          from: 'u09y8t76r5e4ws8d7f6g5h4jdfghjkxcvbnmkl',
          fromChannel: 1341301815,
          id: 'WB1520-3548181394',
          to: [Object],
          toChannel: 1234567890 } ] }
   message content:  { toType: 1,
     createdTime: 1466386987943,
     from: 'u09y8t76r5e4ws8d7f6g5h4jdfghjkxcvbnmkl',
     location: null,
     id: '4488676771230',
     to: [ 'sdfghjk8f7gh6j5k4l30lk98j7h6g5f4d3s' ],
     text: 'Hi, BOT',
     contentMetadata: { AT_RECV_MODE: '2', SKIP_BADGE_COUNT: 'true' },
     deliveredTime: 0,
     contentType: 1,
     seq: null }
   

Send text message

Get user profile

1. Add a new function queryProfile to query sender's name
   

   function queryProfile(sender, callback) {
     var query_fields = 'profiles?mids=';
     request({
       url: config.LINE.API.concat(query_fields, sender),
       headers: {
         'Content-Type': 'application/json; charset=UTF-8',
         'X-Line-ChannelID': config.LINE.CHANNEL_ID,
         'X-Line-ChannelSecret': config.LINE.CHANNEL_SERECT,
         'X-Line-Trusted-User-With-ACL': config.LINE.MID
       },
       method: 'GET'
     }, function (error, response, body) {
       if (error) {
         console.log('Error sending message: ', error);
       } else if (response.body.error) {
         console.log('Error: ', response.body.error);
       }
       var jsonResult = JSON.parse(body);
       console.log('Profile response: ', jsonResult);  
       for (var i = 0; i < jsonResult.count; i++) {      
         var userName = jsonResult.contacts[i].displayName;
         console.log('User name: ', userName);
         callback(userName);
       }      
     });
   }
   

2. Reply sender's message by saying "Hi, [user_name]"
   

   /* GET line bot callback. */
   router.post('/', function(req, res, next) {
     console.log('callback: ', req.body);     
     var result = req.body.result;
     for(var i = 0; i < result.length; i++){
         var data = result[i].content;
         console.log('message content: ', data);
         queryProfile(data.from, function(user) {
           var reply_msg = 'Hi, '.concat(user);
           sendMessage(data.from, reply_msg, config.LINE.TEXT);   
         });      
       }  
   });
   

3. Commit and Try it
   
   Console:
   

   Profile response:  
   { contacts: 
      [ { displayName: 'phchu',
          mid: 'sdfghjk8f7gh6j5k4l30lk98j7h6g5f4d3s',
          pictureUrl: '',
          statusMessage: '' } ],
     count: 1,
     display: 1,
     pagingRequest: { start: 1, display: 1, sortBy: 'MID' },
     start: 1,
     total: 1 }
   User name:  phchu
   Send message:  Hi, phchu
   Send data:  { to: [ 'sdfghjk8f7gh6j5k4l30lk98j7h6g5f4d3s' ],
     toChannel: 1383378250,
     eventType: '138311608800106203',
     content: { contentType: 1, toType: 1, text: 'Hi, phchu' } }
   Send message response:  {"failed":[],"messageId":"1466394625241","timestamp":1466394625241,"version":1}
   

Send image message

Final Result

Create a html page text_justify.html in assets folder

Enable JavaScript of the WebView

public class MainActivity extends AppCompatActivity {
    private static final String TEXT_JUSTIFY = 
           "file:///android_asset/text_justify.html?info=";
    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_main);
        WebView desWebView = (WebView)findViewById(R.id.content_description_webview);
        String content = getResources().getString(R.string.content);
        desWebView.getSettings().setJavaScriptEnabled(true);
        desWebView.loadUrl(TEXT_JUSTIFY + content);
    }
}

public class MainActivity extends AppCompatActivity {
    private static final String TEXT_JUSTIFY = 
           "file:///android_asset/text_justify.html?info=";
    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_main);
        WebView desWebView = (WebView)findViewById(R.id.content_description_webview);
        String content = getResources().getString(R.string.content);
        desWebView.getSettings().setJavaScriptEnabled(true);
        try{
            desWebView.loadUrl(TEXT_JUSTIFY + URLEncoder.encode(content, "utf-8"));
        }catch (UnsupportedEncodingException uee){
            uee.printStackTrace();
        }
    }
}

public class MainActivity extends AppCompatActivity {
    private static final String TEXT_JUSTIFY = 
           "file:///android_asset/text_justify.html?info=";
    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_main);
        WebView desWebView = (WebView)findViewById(R.id.content_description_webview);
        String content = getResources().getString(R.string.content);
        desWebView.getSettings().setJavaScriptEnabled(true);
        desWebView.setBackgroundColor(0x00000000);
        try{
            desWebView.loadUrl(TEXT_JUSTIFY + URLEncoder.encode(content, "utf-8"));
        }catch (UnsupportedEncodingException uee){
            uee.printStackTrace();
        }
    }
}

Installation

nam install lokijs --save

Initial Database

Basic

var db = new lokijs('db.json');

Custom path

var path = require('path');
var db = new lokijs(path.join(__dirname, '..', 'data', 'db.json'));

Initial Collection

var info = db.getCollection('info');
if(!info){
  info = db.addCollection('info');
}  

CRUD operations

Create

info.insert({
  name: 'phchu',
  age: 18
});

Read

var user = info.findObject({'name':'phchu'});

Update

user.age = 30;
info.update(user);

Delete

info.remove(user);

Final step: Save

db.saveDatabase();

Load database

db.loadDatabase({}, function () {
var info = db.getCollection('info');
console.log('Info: ', info.data);
}); 

Put them together

function lokijsCRUD() {
  var info; 
  db.loadDatabase({}, function () {
    //Initial collection
    info = db.getCollection('info');
    if(!info)
      info = db.addCollection('info');
    console.log('Initial info: ', info.data);
    //Create a user info    
    info.insert({name: 'phchu',
                    age: 18});
    console.log('Add a user: ', info.data);
    //Read user's age  
    var user = info.findObject({'name':'phchu'});
    console.log('User '+user.name+' is '+ user.age +' years old.');
    //Update user's age
    user.age = 30;
    info.update(user);
    console.log('User '+user.name+' is '+ user.age +' years old.');
    //Delete the user
    info.remove(user);
    console.log('Collection info: ', info.data);
    //Save
    profilesDB.saveDatabase();               
  });        
}

Result

Initial info: []
Add a user: [ { name: 'phchu',
age: 18,
meta: { revision: 0, created: 1463638026851, version: 0 },
'$loki': 1 } ]
User phchu is 18 years old.
User phchu is 30 years old.
Collection info: []

1. Import the url package in tex file: \usepackage{url}
2. Insert a reference as misc. Then input your URL under “\url{URL}” in howpublished as the following example:

1. Use package fontec: \usepackage[T1]{fontenc}
2. Use \guillemotleft (for "<<") and \guillemotright (for ">>")
3. Add '\' in the end of \guillemotright as \guillemotright\ to avoid narrow space

• EndNote
• EndNote Web：學校有購買EndNote才可由學校IP註冊使用
• Papers：only for mac
  

• JabRef：Java-based，跨平台
• Zotero：Firefox extension，跨平台

• Examples of how to use the Enumitem Package in the LaTeX Typesetting System
• Enumerations, Itemizations, and Descriptions in LaTeX using the Enumitem Package
• Customizing lists with the enumitem package
• Customize Item Label
  

• Texmaker－ http://www.xm1math.net/texmaker/index.html
  
• Texlipse (Eclipse Plugin) －http://texlipse.sourceforge.net/

• WinEdit

• cwTEX－ http://homepage.ntu.edu.tw/~ntut019/cwtex/cwtex.html
• chitex－http://www.math.ncu.edu.tw/~yih/intro.htm
  

• http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=listings

1. Put package in "./tex/latex/listings"


2. Update Mitex name database
   
   
   
   1. 所有程式->MiKTeX 2.5->Setting
      
   2. Press "Refresh FNDB" button
      

• http://www.usq.edu.au/users/leis/notes/latex/code.html
• 標準的使用方式之一是用一個叫 fancyvrb 的套件, 改善原有 verbatim 的功能。使用說明可以參考：Fancy Verbatims in LaTeX (PDF 檔)
  

The Collection Types

There are five collection types. Four of them—the Set, OrderedSet, Bag, and Sequence types—are concrete types and can be used in expressions. The fifth, the Collection type, is the abstract supertype of the other four and is used to define the operations common to all collection types.

The four concrete collection types are defined as follows:

1. A Set is a collection that contains instances of a valid OCL type. A set does not contain duplicate elements; any instance can be present only once. Elements in a set are not ordered.


2. An OrderedSet is a set whose elements are ordered.


3. A Bag is a collection that may contain duplicate elements. A bag is typically the result of combining navigations. Elements in a bag are not ordered.


4. A Sequence is a bag whose elements are ordered.

(Note that a value of type Sequence or OrderedSet is ordered and not sorted.)

Set { 1 , 2 , 5 , 88 }
Set { 'apple' , 'orange', 'strawberry' }
OrderedSet { 'apple' , 'orange', 'strawberry', 'pear' }
Sequence { 1, 3, 45, 2, 3 }
Sequence { 'ape', 'nut' }
Bag {1 , 3 , 4, 3, 5 }

Sequence{ 1..(6 + 4) }
Sequence{ 1..10 }
-- are both identical to
Sequence{ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }

Collection Type Expressions

When the type of an element is a collection, this can be indicated using the words Set, OrderedSet, Bag, or Sequence, and the type of the elements of the collection between rounded brackets, as shown in the following examples:
Set(Customer)
Sequence(Set(ProgramPartners))
OrderedSet(ServiceLevel)
Bag(Burning)


Collection Operations

context LoyaltyProgram
inv: self.participants->size()

Treating Instances as Collections

Because the OCL syntax for applying collection operations is different from that for user-defined type operations, you can use a single instance as a collection. This collection is considered to be a set with the instance as the only element.

Collections of Collections

When a collection is inserted into another collection, the resulting collection is automatically flattened; the elements of the inserted collection are considered direct elements of the resulting collection.

Set {Set{1,2}, Set{3,4}, Set{5,6}}
Set { 1, 2, 3, 4, 5, 6 }(flattened)

Operations on Collection Types

Standard operations on all collection types


In the invariant, you specify that the actual service level of a membership must be one of the service levels of the program to which the membership belongs:

context Membership
inv: programs.levels ->includes(currentLevel)

The following invariant specifies that the available services for a service level must be offered by a partner of the loyalty program to which the service level belongs:

context ServiceLevel
inv:program.partners->includesAll(self.availableServices.partner)

Operations with Variant Meaning

Collection operations with variant meaning

Expressions, Types, and Values

Basic Types and Operators

The Boolean Type

Example: The result of the following sample expression is true if for every service it can be said that when it offers bonus points it never burns bonus points

context Service
inv: self.pointsEarned > 0 implies not (self.pointsBurned = 0)

Another interesting operation on the Boolean type is the if-then-else
if ‹boolean OCL expression›
then ‹OCL expression›
else ‹OCL expression›
endif


The Integer and Real Types

All these examples are expressions of the Boolean type, which result in true:

2654 * 4.3 + 101 = 11513.2
(3.2).floor() / 3 = 1
1.175 * (-8.9).abs() - 10 = 0.4575
12 > 22.7 = false
12.max(33) = 33
33.max(12) = 33
13.mod(2) = 1
13.div(2) = 6
33.7.min(12) = 12.0
-24.abs() = 24
(-2.4).floor() = -3



The String Types
All these examples are expressions of the Boolean type, and result in true:

'Anneke'.size() = 6
('Anneke' = 'Jos') = false
'Anneke '.concat('and Jos') = 'Anneke and Jos'
'Anneke'.toUpper() = 'ANNEKE'
'Anneke'.toLower() = 'anneke'
'Anneke and Jos'.substring(12, 14) = 'Jos'



Precedence Rules


Comments
An OCL line comment begins with two hyphens. All text from the hyphens to the end of the line is considered to be a comment. Comments longer than one line may be enclosed between /* and */.

-- the expression 20 * 5 + 4 should be evaluated here
20 * 5 + 4 -- this is a comment
/* this is a very long comment that does not enlighten the reader one bit about what the expression is really about */
20 * -- this is a comment 5 + 4 (invalid OCL expression)